Details

Time bar (total: 2.8s)

sample16.0ms

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

simplify9.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
0184
1343
2523
3603
4603

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize5.0ms

Local error

Found 2 expressions with local error:

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

rewrite52.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:
12.0ms
(+ (+ 10.0 d2) 20.0)
38.0ms
(* d1 (+ (+ 10.0 d2) 20.0))

series51.0ms

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

simplify90.0ms

Algorithm
egg-herbie
Counts
45 → 45
Iterations

Useful iterations: 2 (24.0ms)

IterNodesCost
0177179
1791157
24227156
35003156

prune70.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (+ 10.0 d2) 20.0)
0.0b
(* d1 (exp (log (+ (+ 10.0 d2) 20.0))))
1.8b
(exp (log (+ (+ 10.0 d2) 20.0)))

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
23×*-un-lft-identity
12×add-sqr-sqrt
11×log-prod exp-sum
9×distribute-lft-out
8×add-cube-cbrt associate-*r* add-log-exp
6×pow1
5×add-cbrt-cube
4×add-exp-log log-div exp-prod exp-diff
3×flip3-+ associate-*l* sum-log flip-+
2×associate-*r/ unswap-sqr
1×+-commutative associate-+l+ pow-prod-down prod-exp log-pow *-commutative cbrt-unprod rem-exp-log
Counts
3 → 60
Calls
3 calls:
12.0ms
(+ (+ 10.0 d2) 20.0)
42.0ms
(* d1 (exp (log (+ (+ 10.0 d2) 20.0))))
9.0ms
(exp (log (+ (+ 10.0 d2) 20.0)))

series68.0ms

Counts
3 → 9
Calls
3 calls:
16.0ms
(+ (+ 10.0 d2) 20.0)
35.0ms
(* d1 (exp (log (+ (+ 10.0 d2) 20.0))))
17.0ms
(exp (log (+ (+ 10.0 d2) 20.0)))

simplify82.0ms

Algorithm
egg-herbie
Counts
69 → 69
Iterations

Useful iterations: 3 (77.0ms)

IterNodesCost
0195302
1770268
23668261
35003255

prune119.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ 10.0 d2) 20.0)
0.0b
(* (+ 10.0 d2) (+ 10.0 d2))
4.9b
(* d1 (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0)))
9.9b
(/ (* d1 (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0))) (- (+ 10.0 d2) 20.0))

rewrite100.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:
19.0ms
(- (+ 10.0 d2) 20.0)
16.0ms
(* (+ 10.0 d2) (+ 10.0 d2))
29.0ms
(* d1 (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0)))
33.0ms
(/ (* d1 (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0))) (- (+ 10.0 d2) 20.0))

series205.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(- (+ 10.0 d2) 20.0)
16.0ms
(* (+ 10.0 d2) (+ 10.0 d2))
51.0ms
(* d1 (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0)))
117.0ms
(/ (* d1 (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0))) (- (+ 10.0 d2) 20.0))

simplify83.0ms

Algorithm
egg-herbie
Counts
129 → 129
Iterations

Useful iterations: 2 (72.0ms)

IterNodesCost
0526912
12616798
25001794

prune207.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite309.0ms

Algorithm
rewrite-expression-head
Rules
206×*-un-lft-identity
94×distribute-lft-out
79×times-frac
60×unpow-prod-down cube-prod
50×add-sqr-sqrt
45×associate-*r*
43×add-cube-cbrt
13×associate-/l*
12×add-exp-log add-cbrt-cube
9×add-log-exp
7×pow1 sum-cubes
4×flip3-+ associate-/r/ flip-+
3×pow-unpow associate-*l* associate-/r*
2×cbrt-undiv cube-div diff-log div-exp prod-exp cbrt-unprod div-inv associate-/l/ distribute-lft-out-- unswap-sqr
1×cube-mult pow-to-exp sub-neg flip3-- pow-pow frac-2neg unpow3 associate-*r/ pow-prod-down pow-exp associate--l+ clear-num sum-log *-commutative flip-- rem-cube-cbrt difference-of-squares sqr-pow
Counts
4 → 179
Calls
4 calls:
166.0ms
(* d1 (/ (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)) (+ (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)) (* 20.0 20.0))))
17.0ms
(- (+ 10.0 d2) 20.0)
4.0ms
(pow (+ 10.0 d2) 3)
112.0ms
(/ (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)) (+ (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)) (* 20.0 20.0)))

series406.0ms

Counts
4 → 12
Calls
4 calls:
173.0ms
(* d1 (/ (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)) (+ (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)) (* 20.0 20.0))))
21.0ms
(- (+ 10.0 d2) 20.0)
45.0ms
(pow (+ 10.0 d2) 3)
168.0ms
(/ (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)) (+ (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)) (* 20.0 20.0)))

simplify95.0ms

Algorithm
egg-herbie
Counts
191 → 191
Iterations

Useful iterations: 2 (72.0ms)

IterNodesCost
05552279
126822131
250012124

prune334.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

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

sample383.0ms

Algorithm
intervals
Results
213.0ms9014×body80valid
7.0ms41×body640valid
6.0ms57×body1280valid
2.0ms30×body320valid
0.0ms10×body160valid