Details

Time bar (total: 5.2s)

sample45.0ms

Algorithm
intervals
Results
30.0ms268×body80valid

simplify8.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0268
1398
2478
3498
4498

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 18.4b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (/ (* y z) t))
4.7b
(/ (* y z) t)
6.9b
(/ (* y b) t)
12.3b
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
58×*-un-lft-identity
26×times-frac
22×distribute-lft-out
19×add-sqr-sqrt add-cube-cbrt
16×add-exp-log add-cbrt-cube
11×associate-/r*
6×associate-/l* add-log-exp
5×cbrt-undiv div-exp
4×pow1 flip3-+ associate-/r/ flip-+
3×frac-2neg clear-num div-inv
2×frac-add prod-exp cbrt-unprod associate-/l/
1×+-commutative sum-log
Counts
4 → 101
Calls
4 calls:
4.0ms
(+ x (/ (* y z) t))
3.0ms
(/ (* y z) t)
3.0ms
(/ (* y b) t)
35.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

series154.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(+ x (/ (* y z) t))
17.0ms
(/ (* y z) t)
19.0ms
(/ (* y b) t)
92.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

simplify51.0ms

Algorithm
egg-herbie
Counts
113 → 113
Iterations

Useful iterations: 1 (11.0ms)

IterNodesCost
0454843
11942782
25001782

prune313.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 11.9b

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (/ (* y z) t))
4.7b
(/ (* y z) t)
4.9b
(* y (/ b t))
12.3b
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* y (/ b t))))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
33×*-un-lft-identity
28×add-sqr-sqrt
25×times-frac
23×add-cube-cbrt
16×add-exp-log add-cbrt-cube
13×associate-*r*
6×pow1 associate-/r* add-log-exp
5×distribute-lft-out associate-/l*
4×cbrt-undiv flip3-+ div-exp associate-/r/ flip-+
3×associate-*r/ associate-*l* prod-exp cbrt-unprod div-inv
2×frac-2neg frac-add clear-num associate-/l/ unswap-sqr
1×+-commutative pow-prod-down sum-log *-commutative
Counts
4 → 102
Calls
4 calls:
4.0ms
(+ x (/ (* y z) t))
3.0ms
(/ (* y z) t)
7.0ms
(* y (/ b t))
29.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* y (/ b t))))

series160.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(+ x (/ (* y z) t))
20.0ms
(/ (* y z) t)
19.0ms
(* y (/ b t))
95.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* y (/ b t))))

simplify60.0ms

Algorithm
egg-herbie
Counts
114 → 114
Iterations

Useful iterations: 1 (14.0ms)

IterNodesCost
0519791
12261730
25001730

prune307.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 10.9b

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt t)
2.7b
(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
4.9b
(* y (/ b t))
12.3b
(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (* y (/ b t))))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
57×add-sqr-sqrt
47×times-frac
36×add-cube-cbrt *-un-lft-identity
35×associate-*r*
32×add-exp-log
25×add-cbrt-cube
14×cbrt-prod
10×associate-*l* prod-exp cbrt-unprod
9×cbrt-undiv div-exp
8×pow1 unswap-sqr
4×associate-*r/ associate-/r/ div-inv add-log-exp
3×flip3-+ associate-/r* flip-+ associate-/l*
2×pow-prod-down frac-add *-commutative associate-/l/
1×frac-times frac-2neg pow1/3 associate-*l/ clear-num
Counts
4 → 135
Calls
4 calls:
0.0ms
(cbrt t)
27.0ms
(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
7.0ms
(* y (/ b t))
22.0ms
(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (* y (/ b t))))

series522.0ms

Counts
4 → 12
Calls
4 calls:
177.0ms
(cbrt t)
49.0ms
(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
18.0ms
(* y (/ b t))
277.0ms
(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (* y (/ b t))))

simplify102.0ms

Algorithm
egg-herbie
Counts
147 → 147
Iterations

Useful iterations: 2 (90.0ms)

IterNodesCost
07871455
141031250
250021202

prune485.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 10.9b

localize20.0ms

Local error

Found 4 expressions with local error:

12.3b
(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (* (* (cbrt (* y (/ b t))) (cbrt (* y (/ b t)))) (cbrt (* y (/ b t))))))
22.5b
(cbrt (* y (/ b t)))
22.5b
(cbrt (* y (/ b t)))
22.5b
(cbrt (* y (/ b t)))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
33×associate-*r/
27×cbrt-div
16×associate-/r/
14×frac-add
12×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
10×frac-times associate-*l/
9×flip3-+ times-frac flip-+
6×add-exp-log add-cbrt-cube
4×pow1 add-log-exp
3×cbrt-prod pow1/3 associate-/r* associate-/l*
2×associate-/l/
1×cbrt-undiv frac-2neg div-exp clear-num div-inv
Counts
4 → 75
Calls
4 calls:
31.0ms
(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (* (* (cbrt (* y (/ b t))) (cbrt (* y (/ b t)))) (cbrt (* y (/ b t))))))
3.0ms
(cbrt (* y (/ b t)))
3.0ms
(cbrt (* y (/ b t)))
3.0ms
(cbrt (* y (/ b t)))

series551.0ms

Counts
4 → 12
Calls
4 calls:
313.0ms
(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (* (* (cbrt (* y (/ b t))) (cbrt (* y (/ b t)))) (cbrt (* y (/ b t))))))
77.0ms
(cbrt (* y (/ b t)))
80.0ms
(cbrt (* y (/ b t)))
81.0ms
(cbrt (* y (/ b t)))

simplify48.0ms

Algorithm
egg-herbie
Counts
87 → 87
Iterations

Useful iterations: 2 (35.0ms)

IterNodesCost
04521702
114611513
250011463

prune336.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 10.9b

regimes413.0ms

Accuracy

22.6% (4.7b remaining)

Error of 15.4b against oracle of 10.7b and baseline of 16.8b

bsearch153.0ms

Steps
ItersRangePoint
9
1.6611258736907357e+60
4.620139067381952e+65
5.811006095476295e+62
9
-2.7841068021777377e-141
-8.667079417029446e-148
-7.881897403687134e-146

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05123
15523
25523

end0.0ms

sample1.2s

Algorithm
intervals
Results
900.0ms8282×body80valid