Details

Time bar (total: 2.9s)

sample55.0ms

Algorithm
intervals
Results
23.0ms664×body80valid

simplify55.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0184
1414
21024
32244
44014
57584
624034
750014

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 8.8b

Counts
2 → 1

localize6.0ms

Local error

Found 3 expressions with local error:

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

rewrite15.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×associate-*l* associate-/r* 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 → 68
Calls
3 calls:
1.0ms
(cosh x)
6.0ms
(* (cosh x) (/ y x))
6.0ms
(/ (* (cosh x) (/ y x)) z)

series50.0ms

Counts
3 → 9
Calls
3 calls:
6.0ms
(cosh x)
18.0ms
(* (cosh x) (/ y x))
26.0ms
(/ (* (cosh x) (/ y x)) z)

simplify44.0ms

Algorithm
egg-herbie
Counts
77 → 77
Iterations

Useful iterations: 1 (9.0ms)

IterNodesCost
0365414
11576354
25001354

prune100.0ms

Filtered
59 candidates to 77 candidates (-30.5%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New68977
Fresh000
Picked011
Done000
Total681078

Merged error: 0.0b

Counts
78 → 10

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (exp x) (exp (neg x)))
0.0b
(* (+ (exp x) (exp (neg x))) y)
6.6b
(/ (* (+ (exp x) (exp (neg x))) y) (* z (* 2 x)))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
26×add-exp-log add-cbrt-cube
10×prod-exp cbrt-unprod
9×*-un-lft-identity
7×add-sqr-sqrt
6×cbrt-undiv div-exp
5×pow1 add-cube-cbrt add-log-exp
4×associate-*l* associate-*l/
3×flip3-+ associate-*r* flip-+
2×associate-/l/ distribute-lft-out
1×+-commutative frac-2neg times-frac pow-prod-down clear-num associate-/r* sum-log *-commutative div-inv associate-/l* unswap-sqr
Counts
3 → 60
Calls
3 calls:
4.0ms
(+ (exp x) (exp (neg x)))
7.0ms
(* (+ (exp x) (exp (neg x))) y)
10.0ms
(/ (* (+ (exp x) (exp (neg x))) y) (* z (* 2 x)))

series37.0ms

Counts
3 → 9
Calls
3 calls:
3.0ms
(+ (exp x) (exp (neg x)))
11.0ms
(* (+ (exp x) (exp (neg x))) y)
22.0ms
(/ (* (+ (exp x) (exp (neg x))) y) (* z (* 2 x)))

simplify63.0ms

Algorithm
egg-herbie
Counts
69 → 69
Iterations

Useful iterations: 1 (12.0ms)

IterNodesCost
0416641
12421493
25001493

prune90.0ms

Filtered
46 candidates to 69 candidates (-50.0%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New65469
Fresh358
Picked101
Done101
Total70979

Merged error: 0.0b

Counts
79 → 9

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (exp (* -1 x)) (exp x))
0.7b
(/ (* 1/2 (+ (exp (* -1 x)) (exp x))) (/ (* z x) y))
6.4b
(/ (* z x) y)

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
29×add-exp-log add-cbrt-cube
16×times-frac
12×cbrt-undiv div-exp
11×*-un-lft-identity
10×associate-/r*
9×add-sqr-sqrt add-cube-cbrt
6×prod-exp cbrt-unprod
5×add-log-exp
4×div-inv
3×pow1
2×frac-2neg flip3-+ associate-*r/ clear-num flip-+ associate-/l/ associate-/l*
1×+-commutative sum-log associate-/r/ distribute-lft-out
Counts
3 → 73
Calls
3 calls:
6.0ms
(+ (exp (* -1 x)) (exp x))
10.0ms
(/ (* 1/2 (+ (exp (* -1 x)) (exp x))) (/ (* z x) y))
4.0ms
(/ (* z x) y)

series33.0ms

Counts
3 → 9
Calls
3 calls:
4.0ms
(+ (exp (* -1 x)) (exp x))
24.0ms
(/ (* 1/2 (+ (exp (* -1 x)) (exp x))) (/ (* z x) y))
5.0ms
(/ (* z x) y)

simplify57.0ms

Algorithm
egg-herbie
Counts
82 → 82
Iterations

Useful iterations: 1 (12.0ms)

IterNodesCost
0441683
12493545
25001545

prune111.0ms

Filtered
56 candidates to 82 candidates (-46.4%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New79382
Fresh358
Picked101
Done000
Total83891

Merged error: 0b

Counts
91 → 8

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (exp (* -1 x)) (exp x))
0.7b
(/ (* 1/2 (+ (exp (* -1 x)) (exp x))) (* (* z x) (/ 1 y)))
6.5b
(* (* z x) (/ 1 y))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
98×add-exp-log
56×add-cbrt-cube
45×prod-exp
30×div-exp
23×cbrt-unprod
16×cbrt-undiv
13×associate-*r*
12×*-un-lft-identity
10×add-sqr-sqrt add-cube-cbrt times-frac
8×pow1
6×rec-exp 1-exp
5×add-log-exp
4×associate-*r/
3×pow-prod-down
2×flip3-+ associate-/r/ un-div-inv flip-+ div-inv associate-/l/
1×+-commutative frac-2neg associate-*l* clear-num associate-/r* sum-log *-commutative distribute-lft-out associate-/l*
Counts
3 → 95
Calls
3 calls:
4.0ms
(+ (exp (* -1 x)) (exp x))
12.0ms
(/ (* 1/2 (+ (exp (* -1 x)) (exp x))) (* (* z x) (/ 1 y)))
7.0ms
(* (* z x) (/ 1 y))

series35.0ms

Counts
3 → 9
Calls
3 calls:
4.0ms
(+ (exp (* -1 x)) (exp x))
24.0ms
(/ (* 1/2 (+ (exp (* -1 x)) (exp x))) (* (* z x) (/ 1 y)))
7.0ms
(* (* z x) (/ 1 y))

simplify86.0ms

Algorithm
egg-herbie
Counts
104 → 104
Iterations

Useful iterations: 2 (76.0ms)

IterNodesCost
0626928
13795687
25002662

prune79.0ms

Filtered
48 candidates to 104 candidates (-116.7%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New1040104
Fresh077
Picked011
Done000
Total1048112

Merged error: 0b

Counts
112 → 8

regimes292.0ms

Accuracy

95.4% (0.3b remaining)

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

bsearch48.0ms

Steps
ItersRangePoint
9
1.6227361118093434e-07
0.0364262917160445
1.9336417089000438e-07
3
-2.1924518853641623e-19
-1.809713959403449e-19
-2.1572584804323273e-19

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04622
14822
24822

end0.0ms

sample1.5s

Algorithm
intervals
Results
725.0ms22428×body80valid

Profiling

Loading profile data...