Details

Time bar (total: 5.3s)

sample28.0ms

Algorithm
intervals
Results
17.0ms284×body80valid

simplify23.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0204
1464
2884
31384
41884
52364
62604
72634
82634

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.9b

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(* z (- y t))
4.9b
(/ x (/ (* z (- y t)) 2.0))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
36×add-sqr-sqrt
34×*-un-lft-identity
33×times-frac
32×add-cube-cbrt
18×prod-diff
13×add-exp-log add-cbrt-cube
11×distribute-rgt-in distribute-lft-in
7×associate-/r*
5×cbrt-undiv div-exp associate-*r* div-inv
4×pow1
3×associate-*l* associate-/l*
2×expm1-log1p-u sub-neg associate-*r/ prod-exp cbrt-unprod log1p-expm1-u add-log-exp
1×flip3-- frac-2neg pow-prod-down clear-num associate-/r/ *-commutative flip-- distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 96
Calls
2 calls:
12.0ms
(* z (- y t))
6.0ms
(/ x (/ (* z (- y t)) 2.0))

series82.0ms

Counts
2 → 6
Calls
2 calls:
35.0ms
(* z (- y t))
47.0ms
(/ x (/ (* z (- y t)) 2.0))

simplify53.0ms

Algorithm
egg-herbie
Counts
102 → 102
Iterations

Useful iterations: 2 (45.0ms)

IterNodesCost
0433735
11861559
25001556

prune191.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ 2.0 (- y t))
0.2b
(/ (/ 2.0 (- y t)) z)
5.0b
(* x (/ (/ 2.0 (- y t)) z))

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
249×times-frac
180×add-sqr-sqrt
171×*-un-lft-identity
121×add-cube-cbrt
67×associate-*r*
25×distribute-lft-out-- difference-of-squares
24×associate-/l*
19×add-exp-log add-cbrt-cube
16×associate-/r/
10×div-inv
8×flip3-- associate-/r* flip--
7×cbrt-undiv div-exp
5×pow1
3×expm1-log1p-u associate-*l* prod-exp cbrt-unprod log1p-expm1-u add-log-exp unswap-sqr
2×frac-2neg clear-num
1×associate-*r/ pow-prod-down *-commutative associate-/l/
Counts
3 → 234
Calls
3 calls:
5.0ms
(/ 2.0 (- y t))
15.0ms
(/ (/ 2.0 (- y t)) z)
33.0ms
(* x (/ (/ 2.0 (- y t)) z))

series188.0ms

Counts
3 → 9
Calls
3 calls:
42.0ms
(/ 2.0 (- y t))
71.0ms
(/ (/ 2.0 (- y t)) z)
76.0ms
(* x (/ (/ 2.0 (- y t)) z))

simplify87.0ms

Algorithm
egg-herbie
Counts
243 → 243
Iterations

Useful iterations: 1 (20.0ms)

IterNodesCost
07511662
134341581
250011581

prune582.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0b

localize10.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt z)
0.5b
(cbrt z)
0.5b
(* (cbrt z) (cbrt z))
4.2b
(* (/ x (* (cbrt z) (cbrt z))) (/ (/ 2.0 (- y t)) (cbrt z)))

rewrite91.0ms

Algorithm
rewrite-expression-head
Rules
236×times-frac
189×add-sqr-sqrt
149×*-un-lft-identity
136×associate-*r*
113×add-cube-cbrt
89×cbrt-prod
42×add-exp-log
28×add-cbrt-cube
18×distribute-lft-out-- difference-of-squares
15×cbrt-undiv div-exp
14×unswap-sqr
13×pow1 associate-*l* prod-exp cbrt-unprod
12×associate-/r/
8×pow1/3 div-inv
6×flip3-- swap-sqr flip--
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow-prod-down
2×pow-sqr *-commutative pow-prod-up
1×pow2 frac-times pow-plus associate-*r/ associate-*l/
Counts
4 → 247
Calls
4 calls:
1.0ms
(cbrt z)
1.0ms
(cbrt z)
6.0ms
(* (cbrt z) (cbrt z))
69.0ms
(* (/ x (* (cbrt z) (cbrt z))) (/ (/ 2.0 (- y t)) (cbrt z)))

series646.0ms

Counts
4 → 12
Calls
4 calls:
183.0ms
(cbrt z)
181.0ms
(cbrt z)
202.0ms
(* (cbrt z) (cbrt z))
79.0ms
(* (/ x (* (cbrt z) (cbrt z))) (/ (/ 2.0 (- y t)) (cbrt z)))

simplify63.0ms

Algorithm
egg-herbie
Counts
259 → 259
Iterations

Useful iterations: 1 (34.0ms)

IterNodesCost
013362500
150012102

prune817.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt z) (cbrt z))
0.5b
(* (cbrt z) (cbrt z))
0.6b
(cbrt (* (cbrt z) (cbrt z)))
4.2b
(* (/ x (* (cbrt z) (cbrt z))) (/ (/ 2.0 (- y t)) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)))))

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
77×add-exp-log
58×add-sqr-sqrt
51×add-cbrt-cube
40×times-frac
38×*-un-lft-identity
37×associate-*r*
33×cbrt-prod
32×add-cube-cbrt
28×cbrt-undiv div-exp prod-exp cbrt-unprod
20×pow1
19×associate-*l*
13×pow1/3
12×swap-sqr
10×unswap-sqr
5×pow-prod-down
4×expm1-log1p-u pow-sqr pow-prod-up log1p-expm1-u add-log-exp
3×*-commutative div-inv distribute-lft-out-- difference-of-squares
2×pow2 pow-plus associate-/r/
1×frac-times flip3-- associate-*r/ associate-*l/ flip--
Counts
4 → 173
Calls
4 calls:
5.0ms
(* (cbrt z) (cbrt z))
5.0ms
(* (cbrt z) (cbrt z))
3.0ms
(cbrt (* (cbrt z) (cbrt z)))
49.0ms
(* (/ x (* (cbrt z) (cbrt z))) (/ (/ 2.0 (- y t)) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)))))

series780.0ms

Counts
4 → 12
Calls
4 calls:
214.0ms
(* (cbrt z) (cbrt z))
207.0ms
(* (cbrt z) (cbrt z))
281.0ms
(cbrt (* (cbrt z) (cbrt z)))
78.0ms
(* (/ x (* (cbrt z) (cbrt z))) (/ (/ 2.0 (- y t)) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)))))

simplify105.0ms

Algorithm
egg-herbie
Counts
185 → 185
Iterations

Useful iterations: 2 (90.0ms)

IterNodesCost
07431983
141641553
250021450

prune487.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0b

regimes165.0ms

Accuracy

55.1% (2.6b remaining)

Error of 2.6b against oracle of 0.0b and baseline of 5.8b

bsearch73.0ms

Steps
ItersRangePoint
5
6.689459454321206e-68
2.3345650138084276e-67
1.0269027638925969e-67
10
-1.0385975929005869e+108
-2.7371255420872286e+95
-1.7670119028815515e+96

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0238
1238

end0.0ms

sample667.0ms

Algorithm
intervals
Results
449.0ms8711×body80valid