Details

Time bar (total: 3.3s)

sample16.0ms

Algorithm
intervals
Results
6.0ms288×body80valid
0.0ms2×body1280valid
0.0ms2×body320valid
0.0ms1×body640valid
0.0ms1×body160valid

simplify8.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
0184
1343
2523
3603
4603

prune5.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (+ 10.0 d2) 20.0)
0.0b
(* d1 (+ (+ 10.0 d2) 20.0))

rewrite98.0ms

Algorithm
rewrite-expression-head
Rules
14×*-un-lft-identity
7×add-log-exp
6×add-sqr-sqrt distribute-lft-out
5×associate-*r*
4×pow1 add-exp-log add-cube-cbrt add-cbrt-cube
3×associate-*l* sum-log
2×flip3-+ associate-*r/ flip-+
1×+-commutative distribute-rgt-in associate-+l+ distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
2 → 39
Calls
2 calls:
25.0ms
(+ (+ 10.0 d2) 20.0)
71.0ms
(* d1 (+ (+ 10.0 d2) 20.0))

series48.0ms

Counts
2 → 6
Calls
2 calls:
15.0ms
(+ (+ 10.0 d2) 20.0)
33.0ms
(* d1 (+ (+ 10.0 d2) 20.0))

simplify94.0ms

Algorithm
egg-herbie
Counts
45 → 45
Iterations

Useful iterations: 2 (25.0ms)

IterNodesCost
0177179
1791157
24227156
35003156

prune66.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize9.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (* d1 (+ (+ 10.0 d2) 20.0)))
0.5b
(cbrt (* d1 (+ (+ 10.0 d2) 20.0)))
0.5b
(cbrt (* d1 (+ (+ 10.0 d2) 20.0)))
0.6b
(* (cbrt (* d1 (+ (+ 10.0 d2) 20.0))) (cbrt (* d1 (+ (+ 10.0 d2) 20.0))))

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
20×associate-*r/
18×cbrt-div
11×pow1
10×add-sqr-sqrt
9×flip3-+ pow1/3 flip-+
8×add-cube-cbrt *-un-lft-identity
7×cbrt-prod
6×add-exp-log
4×frac-times swap-sqr associate-*r* associate-*l* add-cbrt-cube add-log-exp
2×pow-prod-down associate-*l/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 72
Calls
4 calls:
20.0ms
(cbrt (* d1 (+ (+ 10.0 d2) 20.0)))
18.0ms
(cbrt (* d1 (+ (+ 10.0 d2) 20.0)))
18.0ms
(cbrt (* d1 (+ (+ 10.0 d2) 20.0)))
27.0ms
(* (cbrt (* d1 (+ (+ 10.0 d2) 20.0))) (cbrt (* d1 (+ (+ 10.0 d2) 20.0))))

series509.0ms

Counts
4 → 12
Calls
4 calls:
120.0ms
(cbrt (* d1 (+ (+ 10.0 d2) 20.0)))
116.0ms
(cbrt (* d1 (+ (+ 10.0 d2) 20.0)))
118.0ms
(cbrt (* d1 (+ (+ 10.0 d2) 20.0)))
155.0ms
(* (cbrt (* d1 (+ (+ 10.0 d2) 20.0))) (cbrt (* d1 (+ (+ 10.0 d2) 20.0))))

simplify48.0ms

Algorithm
egg-herbie
Counts
84 → 84
Iterations

Useful iterations: 2 (38.0ms)

IterNodesCost
04311065
11535972
25002891

prune229.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ 10.0 d2) 20.0)
0.0b
(* (+ 10.0 d2) (+ 10.0 d2))
2.6b
(* d1 (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0)))
8.0b
(/ (* d1 (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0))) (- (+ 10.0 d2) 20.0))

rewrite200.0ms

Algorithm
rewrite-expression-head
Rules
41×*-un-lft-identity
22×add-sqr-sqrt
13×pow1 add-exp-log add-cbrt-cube
12×add-cube-cbrt
9×distribute-lft-out add-log-exp
8×associate-*r*
7×distribute-rgt-in distribute-lft-in associate-*l*
6×flip3-+ times-frac associate-*r/ swap-sqr associate-/r* flip-+ distribute-lft-out--
5×associate--l+
4×frac-times flip3-- flip-- difference-of-squares
3×sub-neg prod-exp cbrt-unprod
2×cbrt-undiv diff-log div-exp pow-prod-down associate-*l/ associate-/r/ *-commutative associate-/l/ unswap-sqr
1×pow2 frac-2neg pow-plus clear-num sum-log pow-sqr pow-prod-up div-inv associate-/l*
Counts
4 → 117
Calls
4 calls:
34.0ms
(- (+ 10.0 d2) 20.0)
31.0ms
(* (+ 10.0 d2) (+ 10.0 d2))
64.0ms
(* d1 (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0)))
67.0ms
(/ (* d1 (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0))) (- (+ 10.0 d2) 20.0))

series190.0ms

Counts
4 → 12
Calls
4 calls:
20.0ms
(- (+ 10.0 d2) 20.0)
15.0ms
(* (+ 10.0 d2) (+ 10.0 d2))
48.0ms
(* d1 (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0)))
107.0ms
(/ (* d1 (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0))) (- (+ 10.0 d2) 20.0))

simplify82.0ms

Algorithm
egg-herbie
Counts
129 → 129
Iterations

Useful iterations: 2 (71.0ms)

IterNodesCost
0526912
12616798
25001794

prune193.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ 10.0 d2) (+ 10.0 d2))
0.0b
(pow (+ 10.0 d2) 3)
2.6b
(* d1 (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)))
12.8b
(/ (* d1 (+ (pow (+ 10.0 d2) 3) (pow 20.0 3))) (+ (* (+ 10.0 d2) (+ 10.0 d2)) (- (* 20.0 20.0) (* (+ 10.0 d2) 20.0))))

rewrite338.0ms

Algorithm
rewrite-expression-head
Rules
55×*-un-lft-identity
22×flip3-+ flip-+
21×distribute-lft-out
19×add-sqr-sqrt
18×associate-/r/
17×associate-*r*
16×frac-add
15×add-cube-cbrt
14×pow1 add-exp-log add-cbrt-cube
12×frac-times unpow-prod-down cube-prod
10×associate-*r/
8×flip3-- flip--
7×associate-*l*
6×swap-sqr associate-*l/
4×add-log-exp
3×pow-unpow times-frac prod-exp associate-/r* cbrt-unprod
2×cbrt-undiv cube-div distribute-rgt-in distribute-lft-in div-exp pow-prod-down *-commutative associate-/l/ unswap-sqr
1×pow2 cube-mult pow-to-exp pow-pow frac-2neg pow-plus unpow3 pow-exp clear-num pow-sqr sum-cubes pow-prod-up div-inv associate-/l* rem-cube-cbrt sqr-pow
Counts
4 → 140
Calls
4 calls:
31.0ms
(* (+ 10.0 d2) (+ 10.0 d2))
9.0ms
(pow (+ 10.0 d2) 3)
173.0ms
(* d1 (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)))
120.0ms
(/ (* d1 (+ (pow (+ 10.0 d2) 3) (pow 20.0 3))) (+ (* (+ 10.0 d2) (+ 10.0 d2)) (- (* 20.0 20.0) (* (+ 10.0 d2) 20.0))))

series264.0ms

Counts
4 → 12
Calls
4 calls:
15.0ms
(* (+ 10.0 d2) (+ 10.0 d2))
24.0ms
(pow (+ 10.0 d2) 3)
64.0ms
(* d1 (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)))
161.0ms
(/ (* d1 (+ (pow (+ 10.0 d2) 3) (pow 20.0 3))) (+ (* (+ 10.0 d2) (+ 10.0 d2)) (- (* 20.0 20.0) (* (+ 10.0 d2) 20.0))))

simplify45.0ms

Algorithm
egg-herbie
Counts
152 → 152
Iterations

Useful iterations: 1 (26.0ms)

IterNodesCost
09051575
150011433

prune360.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes33.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0103
1103

end0.0ms

sample394.0ms

Algorithm
intervals
Results
199.0ms8991×body80valid
8.0ms53×body1280valid
4.0ms47×body640valid
1.0ms22×body320valid
1.0ms17×body160valid