Details

Time bar (total: 3.8s)

sample34.0ms

Algorithm
intervals
Results
18.0ms688×body80valid

simplify54.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0184
1414
21024
32244
44014
57584
624034
750024

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 7.3b

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (cosh x) (/ y x))
6.9b
(/ (* (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:
7.0ms
(* (cosh x) (/ y x))
5.0ms
(/ (* (cosh x) (/ y x)) z)

series189.0ms

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

simplify44.0ms

Algorithm
egg-herbie
Counts
66 → 66
Iterations

Useful iterations: 1 (10.0ms)

IterNodesCost
0345374
11456317
25001317

prune159.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (cosh x) (/ y x))
6.9b
(* (* (cosh x) (/ y x)) (/ 1 z))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
46×add-exp-log
28×add-cbrt-cube
26×associate-*r*
22×add-sqr-sqrt prod-exp
19×times-frac
17×add-cube-cbrt *-un-lft-identity
12×cbrt-unprod
11×div-exp
9×pow1
6×cbrt-undiv frac-times cosh-def associate-*l/
4×associate-*r/ associate-*l* pow-prod-down
3×rec-exp 1-exp
2×*-commutative div-inv add-log-exp unswap-sqr
1×un-div-inv
Counts
2 → 84
Calls
2 calls:
7.0ms
(* (cosh x) (/ y x))
17.0ms
(* (* (cosh x) (/ y x)) (/ 1 z))

series191.0ms

Counts
2 → 6
Calls
2 calls:
80.0ms
(* (cosh x) (/ y x))
111.0ms
(* (* (cosh x) (/ y x)) (/ 1 z))

simplify63.0ms

Algorithm
egg-herbie
Counts
90 → 90
Iterations

Useful iterations: 2 (56.0ms)

IterNodesCost
0515578
12463472
25002459

prune187.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
164×add-exp-log
97×prod-exp
58×add-cbrt-cube
38×div-exp
29×associate-*r* cbrt-unprod
21×add-sqr-sqrt
19×pow1 add-cube-cbrt rec-exp *-un-lft-identity 1-exp
18×times-frac
14×associate-*l/
11×cbrt-undiv
10×pow-prod-down
7×frac-times cosh-def
5×associate-*l*
4×associate-*r/ un-div-inv
3×*-commutative add-log-exp
2×div-inv
1×unswap-sqr
Counts
3 → 140
Calls
3 calls:
3.0ms
(* (cosh x) y)
11.0ms
(* (* (cosh x) y) (/ 1 x))
36.0ms
(* (* (* (cosh x) y) (/ 1 x)) (/ 1 z))

series466.0ms

Counts
3 → 9
Calls
3 calls:
65.0ms
(* (cosh x) y)
282.0ms
(* (* (cosh x) y) (/ 1 x))
118.0ms
(* (* (* (cosh x) y) (/ 1 x)) (/ 1 z))

simplify93.0ms

Algorithm
egg-herbie
Counts
149 → 149
Iterations

Useful iterations: 2 (79.0ms)

IterNodesCost
07671009
13790744
25001720

prune211.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 2 expressions with local error:

0.3b
(/ (* 1/2 (+ (exp (* -1 x)) (exp x))) (/ x y))
6.9b
(/ (/ (* 1/2 (+ (exp (* -1 x)) (exp x))) (/ x y)) z)

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
173×times-frac
67×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
32×add-exp-log add-cbrt-cube
19×associate-/l*
17×cbrt-undiv div-exp
16×associate-/r*
12×div-inv
5×associate-/r/
4×prod-exp cbrt-unprod
3×associate-/l/
2×pow1 frac-2neg associate-*r/ clear-num add-log-exp
1×flip3-+ flip-+
Counts
2 → 144
Calls
2 calls:
10.0ms
(/ (* 1/2 (+ (exp (* -1 x)) (exp x))) (/ x y))
17.0ms
(/ (/ (* 1/2 (+ (exp (* -1 x)) (exp x))) (/ x y)) z)

series150.0ms

Counts
2 → 6
Calls
2 calls:
61.0ms
(/ (* 1/2 (+ (exp (* -1 x)) (exp x))) (/ x y))
88.0ms
(/ (/ (* 1/2 (+ (exp (* -1 x)) (exp x))) (/ x y)) z)

simplify96.0ms

Algorithm
egg-herbie
Counts
150 → 150
Iterations

Useful iterations: 1 (21.0ms)

IterNodesCost
08101775
137711599
250011599

prune428.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0b

regimes188.0ms

Accuracy

86.8% (1.0b remaining)

Error of 1.0b against oracle of 0.0b and baseline of 7.7b

bsearch78.0ms

Steps
ItersRangePoint
7
1.0103329387599513e-77
2.437421707571525e-76
2.4126246885058373e-76
7
-1.8031036961875904e-46
-1.735871948019774e-48
-1.7568437385096046e-46

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02810
12810

end0.0ms

sample1.0s

Algorithm
intervals
Results
590.0ms22146×body80valid