Details

Time bar (total: 6.1s)

sample21.0ms

Algorithm
intervals
Results
9.0ms339×body80valid

simplify106.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0144
1254
2584
3964
41314
51554
61794
73104
86434
911714
1024824
1137744
1250024

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.2b

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ x (* (- y x) (/ z t)))
5.2b
(* (- y x) (/ z t))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
13×associate-*r*
12×*-un-lft-identity
10×add-cube-cbrt times-frac
7×add-exp-log add-cbrt-cube
5×associate-*l*
4×pow1 add-log-exp
2×frac-times flip3-- associate-*l/ prod-exp flip-- cbrt-unprod unswap-sqr
1×cbrt-undiv +-commutative flip3-+ associate-*r/ div-exp pow-prod-down sum-log *-commutative flip-+ div-inv distribute-lft-out-- difference-of-squares
Counts
2 → 49
Calls
2 calls:
2.0ms
(+ x (* (- y x) (/ z t)))
15.0ms
(* (- y x) (/ z t))

series80.0ms

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

simplify41.0ms

Algorithm
egg-herbie
Counts
55 → 55
Iterations

Useful iterations: 2 (36.0ms)

IterNodesCost
0296310
11245287
25001275

prune138.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt t)
0.6b
(cbrt t)
0.6b
(cbrt t)
2.2b
(* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
40×add-sqr-sqrt
30×times-frac
25×add-exp-log
24×*-un-lft-identity
22×add-cube-cbrt associate-*r*
20×cbrt-prod
18×add-cbrt-cube
9×associate-*l*
8×prod-exp cbrt-unprod
7×cbrt-undiv div-exp
6×pow1 unswap-sqr
4×add-log-exp
3×pow1/3
2×div-inv
1×frac-times associate-*r/ pow-prod-down associate-*l/ *-commutative distribute-lft-out-- difference-of-squares
Counts
4 → 94
Calls
4 calls:
0.0ms
(cbrt t)
0.0ms
(cbrt t)
0.0ms
(cbrt t)
32.0ms
(* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))

series618.0ms

Counts
4 → 12
Calls
4 calls:
185.0ms
(cbrt t)
180.0ms
(cbrt t)
177.0ms
(cbrt t)
77.0ms
(* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))

simplify64.0ms

Algorithm
egg-herbie
Counts
106 → 106
Iterations

Useful iterations: 2 (55.0ms)

IterNodesCost
0455821
12233666
25002631

prune335.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.7b
(* (* (cbrt (/ (- y x) (* (cbrt t) (cbrt t)))) (cbrt (/ (- y x) (* (cbrt t) (cbrt t))))) (* (cbrt (/ (- y x) (* (cbrt t) (cbrt t)))) (/ z (cbrt t))))
3.5b
(cbrt (/ (- y x) (* (cbrt t) (cbrt t))))
3.5b
(cbrt (/ (- y x) (* (cbrt t) (cbrt t))))
3.5b
(cbrt (/ (- y x) (* (cbrt t) (cbrt t))))

rewrite75.0ms

Algorithm
rewrite-expression-head
Rules
27×cbrt-prod cbrt-div
25×add-exp-log
17×frac-times
16×pow1 add-sqr-sqrt *-un-lft-identity
15×times-frac
13×prod-exp add-cbrt-cube cbrt-unprod
11×associate-*r/ associate-*l/
10×add-cube-cbrt
8×pow-prod-down
4×add-log-exp
3×pow1/3 div-inv distribute-lft-out-- difference-of-squares
2×cbrt-undiv div-exp
1×associate-*r* associate-*l* *-commutative
Counts
4 → 95
Calls
4 calls:
56.0ms
(* (* (cbrt (/ (- y x) (* (cbrt t) (cbrt t)))) (cbrt (/ (- y x) (* (cbrt t) (cbrt t))))) (* (cbrt (/ (- y x) (* (cbrt t) (cbrt t)))) (/ z (cbrt t))))
5.0ms
(cbrt (/ (- y x) (* (cbrt t) (cbrt t))))
5.0ms
(cbrt (/ (- y x) (* (cbrt t) (cbrt t))))
5.0ms
(cbrt (/ (- y x) (* (cbrt t) (cbrt t))))

series1.2s

Counts
4 → 12
Calls
4 calls:
83.0ms
(* (* (cbrt (/ (- y x) (* (cbrt t) (cbrt t)))) (cbrt (/ (- y x) (* (cbrt t) (cbrt t))))) (* (cbrt (/ (- y x) (* (cbrt t) (cbrt t)))) (/ z (cbrt t))))
350.0ms
(cbrt (/ (- y x) (* (cbrt t) (cbrt t))))
363.0ms
(cbrt (/ (- y x) (* (cbrt t) (cbrt t))))
361.0ms
(cbrt (/ (- y x) (* (cbrt t) (cbrt t))))

simplify56.0ms

Algorithm
egg-herbie
Counts
107 → 107
Iterations

Useful iterations: 2 (37.0ms)

IterNodesCost
04351768
114051405
250011289

prune365.0ms

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 4 expressions with local error:

0.7b
(* (* (* (cbrt (/ 1 (cbrt t))) (cbrt (/ (- y x) (cbrt t)))) (cbrt (/ (- y x) (* (cbrt t) (cbrt t))))) (* (cbrt (/ (- y x) (* (cbrt t) (cbrt t)))) (/ z (cbrt t))))
1.8b
(cbrt (/ (- y x) (cbrt t)))
3.5b
(cbrt (/ (- y x) (* (cbrt t) (cbrt t))))
3.5b
(cbrt (/ (- y x) (* (cbrt t) (cbrt t))))

rewrite213.0ms

Algorithm
rewrite-expression-head
Rules
67×cbrt-prod cbrt-div
49×frac-times
41×add-sqr-sqrt *-un-lft-identity
40×add-exp-log times-frac
35×associate-*l/
25×pow1 add-cube-cbrt
24×prod-exp cbrt-unprod
23×associate-*r/
19×add-cbrt-cube
15×pow-prod-down
8×distribute-lft-out-- difference-of-squares
4×add-log-exp
3×cbrt-undiv pow1/3 div-exp div-inv
1×associate-*r* associate-*l* *-commutative
Counts
4 → 144
Calls
4 calls:
191.0ms
(* (* (* (cbrt (/ 1 (cbrt t))) (cbrt (/ (- y x) (cbrt t)))) (cbrt (/ (- y x) (* (cbrt t) (cbrt t))))) (* (cbrt (/ (- y x) (* (cbrt t) (cbrt t)))) (/ z (cbrt t))))
4.0ms
(cbrt (/ (- y x) (cbrt t)))
5.0ms
(cbrt (/ (- y x) (* (cbrt t) (cbrt t))))
5.0ms
(cbrt (/ (- y x) (* (cbrt t) (cbrt t))))

series1.1s

Counts
4 → 12
Calls
4 calls:
78.0ms
(* (* (* (cbrt (/ 1 (cbrt t))) (cbrt (/ (- y x) (cbrt t)))) (cbrt (/ (- y x) (* (cbrt t) (cbrt t))))) (* (cbrt (/ (- y x) (* (cbrt t) (cbrt t)))) (/ z (cbrt t))))
271.0ms
(cbrt (/ (- y x) (cbrt t)))
362.0ms
(cbrt (/ (- y x) (* (cbrt t) (cbrt t))))
362.0ms
(cbrt (/ (- y x) (* (cbrt t) (cbrt t))))

simplify99.0ms

Algorithm
egg-herbie
Counts
156 → 156
Iterations

Useful iterations: 2 (71.0ms)

IterNodesCost
07972840
129592531
250012511

prune674.0ms

Pruning

8 alts after pruning (4 fresh and 4 done)

Merged error: 0.0b

regimes247.0ms

Accuracy

-53.6% (3.3b remaining)

Error of 3.3b against oracle of 0.0b and baseline of 2.2b

bsearch70.0ms

Steps
ItersRangePoint
8
-6.994196683941643e-239
-4.067333298773334e-243
-2.0780948440753943e-240
9
-5.7344741893021296e-61
-2.1671296354575485e-70
-2.8324523097038337e-70

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03319
13319

end0.0ms

sample536.0ms

Algorithm
intervals
Results
268.0ms10619×body80valid