Details

Time bar (total: 9.8s)

sample43.0ms

Algorithm
intervals
Results
21.0ms279×body80valid
3.0ms12×body640valid
2.0ms7×body1280valid
1.0ms11×body160valid
1.0ms6×body320valid

simplify74.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0236
1446
21226
33276
48686
517276
635446
750016

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 11.8b

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- t x) (- a z))
3.4b
(+ x (* (- y z) (/ (- t x) (- a z))))
4.6b
(* (- y z) (/ (- t x) (- a z)))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
78×add-sqr-sqrt
73×*-un-lft-identity
51×times-frac
31×associate-*r*
27×add-cube-cbrt
23×distribute-lft-out-- difference-of-squares
10×add-exp-log add-cbrt-cube
5×pow1 flip3-- associate-*l* associate-/r* flip-- associate-/l* add-log-exp
4×associate-/r/
2×cbrt-undiv frac-times div-exp associate-*l/ prod-exp cbrt-unprod div-inv associate-/l/ unswap-sqr
1×+-commutative frac-2neg flip3-+ div-sub associate-*r/ pow-prod-down clear-num sum-log *-commutative flip-+
Counts
3 → 119
Calls
3 calls:
10.0ms
(/ (- t x) (- a z))
3.0ms
(+ x (* (- y z) (/ (- t x) (- a z))))
31.0ms
(* (- y z) (/ (- t x) (- a z)))

series329.0ms

Counts
3 → 9
Calls
3 calls:
50.0ms
(/ (- t x) (- a z))
150.0ms
(+ x (* (- y z) (/ (- t x) (- a z))))
129.0ms
(* (- y z) (/ (- t x) (- a z)))

simplify55.0ms

Algorithm
egg-herbie
Counts
128 → 128
Iterations

Useful iterations: 1 (13.0ms)

IterNodesCost
0473869
12012820
25001820

prune324.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 2.8b

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (- y z))
2.4b
(* (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt (- y z)) (/ (- t x) (- a z))))
2.6b
(* (cbrt (- y z)) (/ (- t x) (- a z)))
5.6b
(+ x (* (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt (- y z)) (/ (- t x) (- a z)))))

rewrite110.0ms

Algorithm
rewrite-expression-head
Rules
114×cbrt-div
84×frac-times
58×flip3-- flip--
52×add-sqr-sqrt
42×*-un-lft-identity
40×associate-*l/
32×associate-*r*
30×add-exp-log
27×times-frac associate-*r/
18×pow1 add-cube-cbrt add-cbrt-cube
15×prod-exp cbrt-unprod
12×cbrt-prod distribute-lft-out-- difference-of-squares
9×associate-*l* pow-prod-down
6×add-log-exp
4×unswap-sqr
3×cbrt-undiv div-exp
2×associate-/r/ *-commutative
1×+-commutative flip3-+ pow1/3 sum-log flip-+ div-inv
Counts
4 → 166
Calls
4 calls:
2.0ms
(cbrt (- y z))
57.0ms
(* (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt (- y z)) (/ (- t x) (- a z))))
36.0ms
(* (cbrt (- y z)) (/ (- t x) (- a z)))
3.0ms
(+ x (* (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt (- y z)) (/ (- t x) (- a z)))))

series1.1s

Counts
4 → 12
Calls
4 calls:
154.0ms
(cbrt (- y z))
129.0ms
(* (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt (- y z)) (/ (- t x) (- a z))))
619.0ms
(* (cbrt (- y z)) (/ (- t x) (- a z)))
149.0ms
(+ x (* (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt (- y z)) (/ (- t x) (- a z)))))

simplify93.0ms

Algorithm
egg-herbie
Counts
178 → 178
Iterations

Useful iterations: 2 (72.0ms)

IterNodesCost
08952524
133112274
250012231

prune457.0ms

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 2.8b

localize18.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (- t x))
0.5b
(cbrt (- t x))
2.4b
(* (* (cbrt (- y z)) (cbrt (- y z))) (* (* (* (cbrt (- t x)) (cbrt (- t x))) (cbrt (- y z))) (/ (cbrt (- t x)) (- a z))))
6.5b
(+ x (* (* (cbrt (- y z)) (cbrt (- y z))) (* (* (* (cbrt (- t x)) (cbrt (- t x))) (cbrt (- y z))) (/ (cbrt (- t x)) (- a z)))))

rewrite513.0ms

Algorithm
rewrite-expression-head
Rules
1624×cbrt-div
1378×frac-times
812×flip3-- flip--
602×associate-*l/
314×associate-*r/
69×add-exp-log
45×prod-exp cbrt-unprod
36×pow1
33×add-cbrt-cube
24×pow-prod-down
10×cbrt-prod add-sqr-sqrt *-un-lft-identity
6×cbrt-undiv add-cube-cbrt div-exp add-log-exp
2×pow1/3 distribute-lft-out-- difference-of-squares
1×+-commutative flip3-+ associate-*r* associate-*l* sum-log *-commutative flip-+
Counts
4 → 572
Calls
4 calls:
2.0ms
(cbrt (- t x))
2.0ms
(cbrt (- t x))
405.0ms
(* (* (cbrt (- y z)) (cbrt (- y z))) (* (* (* (cbrt (- t x)) (cbrt (- t x))) (cbrt (- y z))) (/ (cbrt (- t x)) (- a z))))
3.0ms
(+ x (* (* (cbrt (- y z)) (cbrt (- y z))) (* (* (* (cbrt (- t x)) (cbrt (- t x))) (cbrt (- y z))) (/ (cbrt (- t x)) (- a z)))))

series597.0ms

Counts
4 → 12
Calls
4 calls:
156.0ms
(cbrt (- t x))
154.0ms
(cbrt (- t x))
129.0ms
(* (* (cbrt (- y z)) (cbrt (- y z))) (* (* (* (cbrt (- t x)) (cbrt (- t x))) (cbrt (- y z))) (/ (cbrt (- t x)) (- a z))))
159.0ms
(+ x (* (* (cbrt (- y z)) (cbrt (- y z))) (* (* (* (cbrt (- t x)) (cbrt (- t x))) (cbrt (- y z))) (/ (cbrt (- t x)) (- a z)))))

simplify220.0ms

Algorithm
egg-herbie
Counts
584 → 584
Iterations

Useful iterations: 1 (54.0ms)

IterNodesCost
0413321241
1500121090

prune2.2s

Pruning

12 alts after pruning (9 fresh and 3 done)

Merged error: 2.8b

localize19.0ms

Local error

Found 4 expressions with local error:

0.8b
(* (cbrt (- y z)) (* (cbrt (- y z)) (* (cbrt (- y z)) (/ (- t x) (- a z)))))
1.9b
(* (cbrt (- y z)) (* (cbrt (- y z)) (/ (- t x) (- a z))))
2.6b
(* (cbrt (- y z)) (/ (- t x) (- a z)))
6.5b
(+ x (* (cbrt (- y z)) (* (cbrt (- y z)) (* (cbrt (- y z)) (/ (- t x) (- a z))))))

rewrite199.0ms

Algorithm
rewrite-expression-head
Rules
136×cbrt-div
100×frac-times
69×flip3-- flip--
57×add-sqr-sqrt
50×associate-*r/
47×*-un-lft-identity
36×associate-*l/
33×associate-*r*
32×add-exp-log
27×times-frac
24×associate-*l*
21×add-cube-cbrt
20×pow1
17×cbrt-prod
16×prod-exp add-cbrt-cube cbrt-unprod
13×distribute-lft-out-- difference-of-squares
10×pow-prod-down
6×add-log-exp
4×unswap-sqr
3×cbrt-undiv div-exp *-commutative
2×associate-/r/
1×+-commutative flip3-+ sum-log flip-+ div-inv
Counts
4 → 195
Calls
4 calls:
110.0ms
(* (cbrt (- y z)) (* (cbrt (- y z)) (* (cbrt (- y z)) (/ (- t x) (- a z)))))
41.0ms
(* (cbrt (- y z)) (* (cbrt (- y z)) (/ (- t x) (- a z))))
33.0ms
(* (cbrt (- y z)) (/ (- t x) (- a z)))
3.0ms
(+ x (* (cbrt (- y z)) (* (cbrt (- y z)) (* (cbrt (- y z)) (/ (- t x) (- a z))))))

series1.3s

Counts
4 → 12
Calls
4 calls:
126.0ms
(* (cbrt (- y z)) (* (cbrt (- y z)) (* (cbrt (- y z)) (/ (- t x) (- a z)))))
422.0ms
(* (cbrt (- y z)) (* (cbrt (- y z)) (/ (- t x) (- a z))))
620.0ms
(* (cbrt (- y z)) (/ (- t x) (- a z)))
155.0ms
(+ x (* (cbrt (- y z)) (* (cbrt (- y z)) (* (cbrt (- y z)) (/ (- t x) (- a z))))))

simplify91.0ms

Algorithm
egg-herbie
Counts
207 → 207
Iterations

Useful iterations: 2 (63.0ms)

IterNodesCost
07702891
129862652
250022600

prune506.0ms

Pruning

12 alts after pruning (8 fresh and 4 done)

Merged error: 2.8b

regimes334.0ms

Accuracy

49.6% (4.8b remaining)

Error of 8.8b against oracle of 4.1b and baseline of 13.5b

bsearch3.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05457
15457

end0.0ms

sample1.1s

Algorithm
intervals
Results
507.0ms7836×body80valid
112.0ms462×body640valid
84.0ms273×body1280valid
70.0ms379×body320valid
36.0ms277×body160valid
7.0ms18×body2560valid