Details

Time bar (total: 4.7s)

sample24.0ms

Algorithm
intervals
Results
11.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

localize12.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)))

rewrite51.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)
37.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

series163.0ms

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

simplify51.0ms

Algorithm
egg-herbie
Counts
113 → 113
Iterations

Useful iterations: 1 (12.0ms)

IterNodesCost
0454843
11942782
25001782

prune305.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 11.9b

localize12.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))))

rewrite48.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))))

series168.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(+ x (/ (* y z) t))
18.0ms
(/ (* y z) t)
22.0ms
(* y (/ b t))
99.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* y (/ b t))))

simplify61.0ms

Algorithm
egg-herbie
Counts
114 → 114
Iterations

Useful iterations: 1 (14.0ms)

IterNodesCost
0519791
12261730
25001730

prune319.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))))

rewrite64.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:
1.0ms
(cbrt t)
25.0ms
(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
10.0ms
(* y (/ b t))
23.0ms
(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (* y (/ b t))))

series528.0ms

Counts
4 → 12
Calls
4 calls:
181.0ms
(cbrt t)
50.0ms
(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
19.0ms
(* y (/ b t))
278.0ms
(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (* y (/ b t))))

simplify108.0ms

Algorithm
egg-herbie
Counts
147 → 147
Iterations

Useful iterations: 2 (95.0ms)

IterNodesCost
07871455
141031250
250021202

prune525.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 10.9b

localize21.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)))

rewrite44.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:
32.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)))

series578.0ms

Counts
4 → 12
Calls
4 calls:
321.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))))))
81.0ms
(cbrt (* y (/ b t)))
89.0ms
(cbrt (* y (/ b t)))
87.0ms
(cbrt (* y (/ b t)))

simplify52.0ms

Algorithm
egg-herbie
Counts
87 → 87
Iterations

Useful iterations: 2 (37.0ms)

IterNodesCost
04521702
114611513
250011463

prune357.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 10.9b

regimes442.0ms

Accuracy

22.6% (4.7b remaining)

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

bsearch133.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

sample629.0ms

Algorithm
intervals
Results
347.0ms8282×body80valid