Details

Time bar (total: 5.1s)

sample37.0ms

Algorithm
intervals
Results
20.0ms746×body80valid

simplify57.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0184
1414
21024
32284
44114
57864
624694
750024

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 7.3b

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b
(cosh x)
0.0b
(* (cosh x) (/ y x))
6.8b
(/ (* (cosh x) (/ y x)) z)

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
17×add-exp-log add-cbrt-cube
13×add-cube-cbrt *-un-lft-identity times-frac associate-*r*
5×pow1 cbrt-undiv cosh-def div-exp
4×prod-exp cbrt-unprod
3×expm1-log1p-u associate-*l* associate-/r* log1p-expm1-u associate-/l/ add-log-exp
2×frac-times associate-*r/ associate-*l/ div-inv unswap-sqr
1×frac-2neg pow-prod-down clear-num *-commutative associate-/l*
Counts
3 → 74
Calls
3 calls:
1.0ms
(cosh x)
13.0ms
(* (cosh x) (/ y x))
9.0ms
(/ (* (cosh x) (/ y x)) z)

series232.0ms

Counts
3 → 9
Calls
3 calls:
43.0ms
(cosh x)
72.0ms
(* (cosh x) (/ y x))
116.0ms
(/ (* (cosh x) (/ y x)) z)

simplify44.0ms

Algorithm
egg-herbie
Counts
83 → 83
Iterations

Useful iterations: 2 (39.0ms)

IterNodesCost
0383433
11634372
25001368

prune175.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma (exp x) 1/2 (/ 1/2 (exp x)))
0.0b
(/ (fma (exp x) 1/2 (/ 1/2 (exp x))) x)
0.0b
(/ 1/2 (exp x))
6.1b
(* (/ y z) (/ (fma (exp x) 1/2 (/ 1/2 (exp x))) x))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
46×add-sqr-sqrt
40×times-frac
34×add-cube-cbrt *-un-lft-identity
20×add-cbrt-cube
19×add-exp-log
13×associate-*r* associate-*l*
6×pow1 cbrt-undiv div-exp associate-/r* associate-/l*
4×expm1-log1p-u prod-exp cbrt-unprod log1p-expm1-u div-inv add-log-exp unswap-sqr
2×frac-2neg clear-num
1×frac-times associate-*r/ pow-prod-down associate-*l/ *-commutative fma-udef
Counts
4 → 120
Calls
4 calls:
0.0ms
(fma (exp x) 1/2 (/ 1/2 (exp x)))
2.0ms
(/ (fma (exp x) 1/2 (/ 1/2 (exp x))) x)
3.0ms
(/ 1/2 (exp x))
15.0ms
(* (/ y z) (/ (fma (exp x) 1/2 (/ 1/2 (exp x))) x))

series236.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(fma (exp x) 1/2 (/ 1/2 (exp x)))
64.0ms
(/ (fma (exp x) 1/2 (/ 1/2 (exp x))) x)
9.0ms
(/ 1/2 (exp x))
126.0ms
(* (/ y z) (/ (fma (exp x) 1/2 (/ 1/2 (exp x))) x))

simplify66.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 2 (55.0ms)

IterNodesCost
05091056
12478943
25002942

prune325.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt y)
2.9b
(* (/ (cbrt y) z) (/ (fma (exp x) 1/2 (/ 1/2 (exp x))) x))
4.3b
(* (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) z) (/ (fma (exp x) 1/2 (/ 1/2 (exp x))) x)))

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
126×add-exp-log
67×add-cbrt-cube
59×prod-exp
47×add-sqr-sqrt
44×div-exp
37×times-frac
36×cbrt-unprod
29×associate-*l*
28×add-cube-cbrt *-un-lft-identity
26×cbrt-undiv
17×cbrt-prod
14×associate-*r*
11×pow1
10×1-exp
6×frac-times associate-*r/ unswap-sqr
4×expm1-log1p-u pow-prod-down associate-*l/ log1p-expm1-u add-log-exp
3×div-inv
2×pow1/3 *-commutative
Counts
4 → 156
Calls
4 calls:
0.0ms
(cbrt y)
0.0ms
(cbrt y)
18.0ms
(* (/ (cbrt y) z) (/ (fma (exp x) 1/2 (/ 1/2 (exp x))) x))
32.0ms
(* (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) z) (/ (fma (exp x) 1/2 (/ 1/2 (exp x))) x)))

series670.0ms

Counts
4 → 12
Calls
4 calls:
179.0ms
(cbrt y)
175.0ms
(cbrt y)
162.0ms
(* (/ (cbrt y) z) (/ (fma (exp x) 1/2 (/ 1/2 (exp x))) x))
154.0ms
(* (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) z) (/ (fma (exp x) 1/2 (/ 1/2 (exp x))) x)))

simplify117.0ms

Algorithm
egg-herbie
Counts
168 → 168
Iterations

Useful iterations: 2 (93.0ms)

IterNodesCost
07922009
143761532
250011449

prune404.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0b

localize17.0ms

Local error

Found 4 expressions with local error:

3.8b
(cbrt (* (/ y z) (/ (fma (exp x) 1/2 (/ 1/2 (exp x))) x)))
6.1b
(* (/ y z) (/ (fma (exp x) 1/2 (/ 1/2 (exp x))) x))
6.1b
(* (/ y z) (/ (fma (exp x) 1/2 (/ 1/2 (exp x))) x))
6.1b
(* (/ y z) (/ (fma (exp x) 1/2 (/ 1/2 (exp x))) x))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
82×add-sqr-sqrt
66×times-frac
46×add-cube-cbrt *-un-lft-identity
40×add-exp-log add-cbrt-cube
39×associate-*r* associate-*l*
12×cbrt-undiv div-exp prod-exp cbrt-unprod unswap-sqr
10×pow1
6×div-inv
4×expm1-log1p-u frac-times associate-*r/ associate-*l/ log1p-expm1-u add-log-exp
3×cbrt-div pow-prod-down *-commutative
1×cbrt-prod pow1/3
Counts
4 → 170
Calls
4 calls:
4.0ms
(cbrt (* (/ y z) (/ (fma (exp x) 1/2 (/ 1/2 (exp x))) x)))
13.0ms
(* (/ y z) (/ (fma (exp x) 1/2 (/ 1/2 (exp x))) x))
13.0ms
(* (/ y z) (/ (fma (exp x) 1/2 (/ 1/2 (exp x))) x))
14.0ms
(* (/ y z) (/ (fma (exp x) 1/2 (/ 1/2 (exp x))) x))

series586.0ms

Counts
4 → 12
Calls
4 calls:
183.0ms
(cbrt (* (/ y z) (/ (fma (exp x) 1/2 (/ 1/2 (exp x))) x)))
130.0ms
(* (/ y z) (/ (fma (exp x) 1/2 (/ 1/2 (exp x))) x))
137.0ms
(* (/ y z) (/ (fma (exp x) 1/2 (/ 1/2 (exp x))) x))
136.0ms
(* (/ y z) (/ (fma (exp x) 1/2 (/ 1/2 (exp x))) x))

simplify61.0ms

Algorithm
egg-herbie
Counts
182 → 182
Iterations

Useful iterations: 2 (44.0ms)

IterNodesCost
04401865
120221622
250011610

prune548.0ms

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 0b

regimes199.0ms

Accuracy

94.3% (0.4b remaining)

Error of 0.4b against oracle of 0.1b and baseline of 6.9b

bsearch107.0ms

Steps
ItersRangePoint
10
5.8677593858564725e-67
1.0666943472865284e-55
1.0518266846147293e-55
10
-4.417410525304195e+27
-30983857619770704.0
-5.267259101167371e+16

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03112
13112

end0.0ms

sample1.0s

Algorithm
intervals
Results
597.0ms21869×body80valid