Details

Time bar (total: 3.2s)

sample35.0ms

Algorithm
intervals
Results
18.0ms691×body80valid

simplify50.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0184
1414
21024
32284
44114
57864
624694
750024

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 8.5b

Counts
2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
9×cosh-def
8×associate-/l/
7×clear-num
6×frac-times associate-*r/
5×frac-2neg
3×div-inv associate-/l*
2×associate-*r* associate-*l/ un-div-inv *-commutative
Counts
3 → 25
Calls
3 calls:
1.0ms
(cosh x)
3.0ms
(* (cosh x) (/ y x))
5.0ms
(/ (* (cosh x) (/ y x)) z)

series225.0ms

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

simplify89.0ms

Algorithm
egg-herbie
Counts
34 → 34
Iterations

Useful iterations: 2 (20.0ms)

IterNodesCost
0178123
1575120
2354185
3500285

prune73.0ms

Filtered
34 candidates to 25 candidates (73.5%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New30434
Fresh000
Picked101
Done000
Total31435

Merged error: 0.1b

Counts
35 → 4

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (exp x) (exp (- x)))
0.0b
(* (+ (exp x) (exp (- x))) (- y))
4.4b
(/ (* (+ (exp x) (exp (- x))) (- y)) (* (* -2 x) z))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
14×*-commutative
12×times-frac
8×associate-*l*
6×neg-mul-1 associate-*r*
4×associate-*l/ associate-/r*
3×flip3-+ flip-+ associate-/l*
2×distribute-rgt-neg-out associate-/l/
1×+-commutative frac-2neg distribute-frac-neg clear-num div-inv
Counts
3 → 33
Calls
3 calls:
3.0ms
(+ (exp x) (exp (- x)))
4.0ms
(* (+ (exp x) (exp (- x))) (- y))
8.0ms
(/ (* (+ (exp x) (exp (- x))) (- y)) (* (* -2 x) z))

series169.0ms

Counts
3 → 9
Calls
3 calls:
22.0ms
(+ (exp x) (exp (- x)))
57.0ms
(* (+ (exp x) (exp (- x))) (- y))
89.0ms
(/ (* (+ (exp x) (exp (- x))) (- y)) (* (* -2 x) z))

simplify34.0ms

Algorithm
egg-herbie
Counts
42 → 42
Iterations

Useful iterations: 2 (29.0ms)

IterNodesCost
0293296
11042280
25001263

prune140.0ms

Filtered
42 candidates to 39 candidates (92.9%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New35742
Fresh213
Picked101
Done000
Total38846

Merged error: 0.0b

Counts
46 → 8

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (* x -2) (fma z (expm1 (* x -2)) (* z (exp (+ x x)))))
0.0b
(pow (exp (- x)) 3)
0.0b
(pow (exp x) 3)
4.7b
(/ (* (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (- y)) (* (* x -2) (fma z (expm1 (* x -2)) (* z (exp (+ x x))))))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
17×associate-*l* *-commutative
16×times-frac
6×neg-mul-1
5×associate-*r* sum-cubes
4×associate-/r* associate-/l*
2×pow-to-exp unpow3 associate-*l/ pow-exp fma-udef associate-/l/ sqr-pow
1×distribute-rgt-in exp-prod pow-pow frac-2neg distribute-lft-in flip3-+ distribute-frac-neg clear-num distribute-rgt-neg-out flip-+ div-inv
Counts
4 → 44
Calls
4 calls:
3.0ms
(* (* x -2) (fma z (expm1 (* x -2)) (* z (exp (+ x x)))))
2.0ms
(pow (exp (- x)) 3)
2.0ms
(pow (exp x) 3)
10.0ms
(/ (* (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (- y)) (* (* x -2) (fma z (expm1 (* x -2)) (* z (exp (+ x x))))))

series377.0ms

Counts
4 → 12
Calls
4 calls:
103.0ms
(* (* x -2) (fma z (expm1 (* x -2)) (* z (exp (+ x x)))))
28.0ms
(pow (exp (- x)) 3)
23.0ms
(pow (exp x) 3)
223.0ms
(/ (* (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (- y)) (* (* x -2) (fma z (expm1 (* x -2)) (* z (exp (+ x x))))))

simplify44.0ms

Algorithm
egg-herbie
Counts
56 → 56
Iterations

Useful iterations: 2 (37.0ms)

IterNodesCost
0393629
11594603
25002592

prune264.0ms

Filtered
56 candidates to 50 candidates (89.3%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New56056
Fresh077
Picked011
Done000
Total56864

Merged error: 0.0b

Counts
64 → 8

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (exp x) (exp (- x)))
0.6b
(/ (* (+ (exp x) (exp (- x))) -1) (/ (* (* -2 x) z) y))
4.4b
(/ (* (* -2 x) z) y)

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
10×associate-/l*
7×associate-/r/
6×*-commutative
5×div-inv
4×associate-*l*
3×frac-2neg clear-num
2×flip3-+ times-frac associate-*l/ flip-+ associate-/l/
1×+-commutative associate-/r*
Counts
3 → 27
Calls
3 calls:
3.0ms
(+ (exp x) (exp (- x)))
8.0ms
(/ (* (+ (exp x) (exp (- x))) -1) (/ (* (* -2 x) z) y))
5.0ms
(/ (* (* -2 x) z) y)

series187.0ms

Counts
3 → 9
Calls
3 calls:
22.0ms
(+ (exp x) (exp (- x)))
133.0ms
(/ (* (+ (exp x) (exp (- x))) -1) (/ (* (* -2 x) z) y))
32.0ms
(/ (* (* -2 x) z) y)

simplify35.0ms

Algorithm
egg-herbie
Counts
36 → 36
Iterations

Useful iterations: 2 (32.0ms)

IterNodesCost
0235214
1986199
25001190

prune105.0ms

Filtered
36 candidates to 32 candidates (88.9%)
Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New35136
Fresh156
Picked011
Done011
Total36844

Merged error: 0.0b

Counts
44 → 8

regimes135.0ms

Accuracy

80% (1.3b remaining)

Error of 1.4b against oracle of 0.0b and baseline of 6.6b

bsearch82.0ms

Steps
ItersRangePoint
8
8.128222863375302e-164
4.270542795837987e-160
4.2020217077460136e-160
7
-1.0379055105497452e-41
-6.144486651078224e-43
-1.0287231861344055e-41

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03118
13918
24818
34818

end0.0ms

sample1.1s

Algorithm
intervals
Results
602.0ms22357×body80valid