Details

Time bar (total: 3.5s)

sample57.0ms

Algorithm
intervals
Results
31.0ms699×body80valid

simplify51.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0184
1414
21024
32244
44014
57584
624034
750024

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 7.2b

localize9.0ms

Local error

Found 2 expressions with local error:

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

rewrite15.0ms

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

series179.0ms

Counts
2 → 6
Calls
2 calls:
73.0ms
(* (cosh x) (/ y x))
106.0ms
(/ (* (cosh x) (/ y x)) z)

simplify39.0ms

Algorithm
egg-herbie
Counts
66 → 66
Iterations

Useful iterations: 1 (9.0ms)

IterNodesCost
0345374
11456317
25001317

prune145.0ms

Filtered
66 candidates to 49 candidates (74.2%)
Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 2 expressions with local error:

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

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
16×add-exp-log add-cbrt-cube
6×add-sqr-sqrt
5×prod-exp cbrt-unprod
4×pow1 cbrt-undiv add-cube-cbrt *-un-lft-identity div-exp
3×associate-*r* associate-*l*
2×cosh-def associate-*l/ add-log-exp
1×frac-2neg times-frac pow-prod-down clear-num associate-/r* *-commutative div-inv associate-/l/ associate-/l* unswap-sqr
Counts
2 → 41
Calls
2 calls:
3.0ms
(* (cosh x) y)
5.0ms
(/ (* (cosh x) y) (* z x))

series175.0ms

Counts
2 → 6
Calls
2 calls:
67.0ms
(* (cosh x) y)
108.0ms
(/ (* (cosh x) y) (* z x))

simplify38.0ms

Algorithm
egg-herbie
Counts
47 → 47
Iterations

Useful iterations: 1 (8.0ms)

IterNodesCost
0281258
11374203
25001203

prune95.0ms

Filtered
47 candidates to 31 candidates (66.0%)
Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (cosh x) y)
0.5b
(/ 1 (/ (* z x) (* (cosh x) y)))
5.1b
(/ (* z x) (* (cosh x) y))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
61×add-exp-log
35×add-cbrt-cube
26×div-exp
23×times-frac
18×add-sqr-sqrt
17×prod-exp
16×add-cube-cbrt *-un-lft-identity
13×cbrt-undiv
9×cbrt-unprod
7×associate-/r*
6×pow1 cosh-def associate-*l/ associate-/r/ div-inv
5×rec-exp 1-exp
4×associate-/l*
3×associate-*r* associate-*l* add-log-exp
2×frac-2neg clear-num
1×pow-flip pow-prod-down *-commutative inv-pow unswap-sqr
Counts
3 → 101
Calls
3 calls:
3.0ms
(* (cosh x) y)
9.0ms
(/ 1 (/ (* z x) (* (cosh x) y)))
5.0ms
(/ (* z x) (* (cosh x) y))

series337.0ms

Counts
3 → 9
Calls
3 calls:
69.0ms
(* (cosh x) y)
143.0ms
(/ 1 (/ (* z x) (* (cosh x) y)))
124.0ms
(/ (* z x) (* (cosh x) y))

simplify73.0ms

Algorithm
egg-herbie
Counts
110 → 110
Iterations

Useful iterations: 2 (65.0ms)

IterNodesCost
0491771
12635617
25002580

prune171.0ms

Filtered
110 candidates to 55 candidates (50.0%)
Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0b

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (cosh x) y)
0.0b
(/ 1 (* (cosh x) y))
0.3b
(/ 1 (* z x))
5.9b
(/ (/ 1 (* z x)) (/ 1 (* (cosh x) y)))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
196×add-exp-log
113×times-frac div-exp
52×add-cbrt-cube
49×prod-exp
46×add-sqr-sqrt
44×add-cube-cbrt *-un-lft-identity
32×rec-exp 1-exp
25×cbrt-undiv
20×div-inv
13×associate-/l*
12×pow1
10×cosh-def associate-*l/ associate-/r* associate-/r/
9×cbrt-unprod
4×pow-flip add-log-exp
3×frac-2neg associate-*r* associate-*l* pow-prod-down clear-num
2×inv-pow
1×*-commutative associate-/l/ unswap-sqr
Counts
4 → 217
Calls
4 calls:
3.0ms
(* (cosh x) y)
5.0ms
(/ 1 (* (cosh x) y))
5.0ms
(/ 1 (* z x))
13.0ms
(/ (/ 1 (* z x)) (/ 1 (* (cosh x) y)))

series313.0ms

Counts
4 → 12
Calls
4 calls:
62.0ms
(* (cosh x) y)
93.0ms
(/ 1 (* (cosh x) y))
9.0ms
(/ 1 (* z x))
149.0ms
(/ (/ 1 (* z x)) (/ 1 (* (cosh x) y)))

simplify98.0ms

Algorithm
egg-herbie
Counts
229 → 229
Iterations

Useful iterations: 2 (77.0ms)

IterNodesCost
09191698
143381439
250021289

prune258.0ms

Filtered
229 candidates to 90 candidates (39.3%)
Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 0b

regimes223.0ms

Accuracy

94.7% (0.4b remaining)

Error of 0.4b against oracle of 0.0b and baseline of 7.2b

bsearch84.0ms

Steps
ItersRangePoint
9
7.563130983205714e+39
3.5337101841435702e+47
6.2733557363758206e+41
7
-2.0825322668708006e-48
-9.425210138749812e-50
-1.335660724529533e-48

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0208
1208

end0.0ms

sample1.1s

Algorithm
intervals
Results
615.0ms22307×body80valid