Details

Time bar (total: 9.9s)

sample34.0ms

Algorithm
intervals
Results
15.0ms282×body80valid
1.0ms3×body1280valid
0.0ms1×body640valid

simplify92.0ms

Counts
1 → 1
Iterations

Useful iterations: 2 (13.0ms)

IterNodesCost
09204
119164
245124
373124
486124
593124
done93124

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 2 expressions with local error:

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

rewrite139.0ms

Algorithm
rewrite-expression-head
Rules
17×*-un-lft-identity
7×add-sqr-sqrt distribute-lft-out add-log-exp
5×associate-*r* add-cube-cbrt
4×pow1 fma-def add-cbrt-cube add-exp-log
3×sum-log associate-*l*
2×expm1-log1p-u flip3-+ associate-*r/ flip-+ log1p-expm1-u
1×distribute-rgt-in +-commutative associate-+l+ distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
2 → 47
Calls
2 calls:
105.0ms
(* d1 (+ (+ 10.0 d2) 20.0))
31.0ms
(+ (+ 10.0 d2) 20.0)

series65.0ms

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

simplify995.0ms

Counts
53 → 53
Iterations

Useful iterations: done (991.0ms)

IterNodesCost
0698500
12017390
28297300
done50007260

prune272.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (+ 10.0 d2) 20.0)
0.0b
(* (+ (+ 10.0 d2) 20.0) (+ (+ 10.0 d2) 20.0))
0.0b
(* (* (+ (+ 10.0 d2) 20.0) (+ (+ 10.0 d2) 20.0)) (+ (+ 10.0 d2) 20.0))
17.3b
(cbrt (* (* (+ (+ 10.0 d2) 20.0) (+ (+ 10.0 d2) 20.0)) (+ (+ 10.0 d2) 20.0)))

rewrite679.0ms

Algorithm
rewrite-expression-head
Rules
66×*-un-lft-identity
61×flip3-+ flip-+
60×frac-times
31×distribute-lft-out
30×pow1 associate-*l/
26×cbrt-div
18×associate-*r/
13×add-sqr-sqrt
11×add-cbrt-cube swap-sqr add-exp-log
10×associate-*r* add-cube-cbrt
9×add-log-exp
7×pow-plus pow-prod-up
6×associate-*l*
4×expm1-log1p-u fma-def pow-prod-down prod-exp cbrt-unprod log1p-expm1-u
3×pow2 sum-log pow-sqr
2×distribute-rgt-in distribute-lft-in pow3 *-commutative unswap-sqr
1×cbrt-prod +-commutative associate-+l+ pow1/3 rem-cbrt-cube
Counts
4 → 168
Calls
4 calls:
38.0ms
(+ (+ 10.0 d2) 20.0)
174.0ms
(* (+ (+ 10.0 d2) 20.0) (+ (+ 10.0 d2) 20.0))
291.0ms
(* (* (+ (+ 10.0 d2) 20.0) (+ (+ 10.0 d2) 20.0)) (+ (+ 10.0 d2) 20.0))
168.0ms
(cbrt (* (* (+ (+ 10.0 d2) 20.0) (+ (+ 10.0 d2) 20.0)) (+ (+ 10.0 d2) 20.0)))

series106.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(+ (+ 10.0 d2) 20.0)
26.0ms
(* (+ (+ 10.0 d2) 20.0) (+ (+ 10.0 d2) 20.0))
27.0ms
(* (* (+ (+ 10.0 d2) 20.0) (+ (+ 10.0 d2) 20.0)) (+ (+ 10.0 d2) 20.0))
22.0ms
(cbrt (* (* (+ (+ 10.0 d2) 20.0) (+ (+ 10.0 d2) 20.0)) (+ (+ 10.0 d2) 20.0)))

simplify3.1s

Counts
180 → 180
Iterations

Useful iterations: 2 (1.3s)

IterNodesCost
019372712
164453294
2450051802
done500051802

prune859.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize44.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma (+ 10.0 d2) (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 (* 20.0 20.0)))
0.2b
(+ (* (+ 10.0 d2) (+ 10.0 d2)) (- (* 20.0 20.0) (* (+ 10.0 d2) 20.0)))
3.6b
(* d1 (fma (+ 10.0 d2) (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 (* 20.0 20.0))))
15.8b
(/ (* d1 (fma (+ 10.0 d2) (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 (* 20.0 20.0)))) (+ (* (+ 10.0 d2) (+ 10.0 d2)) (- (* 20.0 20.0) (* (+ 10.0 d2) 20.0))))

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
32×frac-add
26×flip3-+ flip-+
18×associate-/r/
16×frac-times flip3-- flip--
11×add-cbrt-cube add-exp-log
10×add-sqr-sqrt
9×add-log-exp
8×*-un-lft-identity associate-*l/ associate-*r/ add-cube-cbrt
6×pow1
4×expm1-log1p-u log1p-expm1-u
3×associate-+r+ associate-/r* times-frac associate-*r* associate-*l* fma-udef
2×distribute-rgt-in cbrt-undiv associate-+l+ sum-log distribute-lft-in div-exp prod-exp cbrt-unprod
1×+-commutative clear-num associate-+r- sub-neg fma-def frac-2neg diff-log prod-diff pow-prod-down *-commutative div-inv associate-/l* unswap-sqr
Counts
4 → 110
Calls
4 calls:
0.0ms
(fma (+ 10.0 d2) (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 (* 20.0 20.0)))
27.0ms
(+ (* (+ 10.0 d2) (+ 10.0 d2)) (- (* 20.0 20.0) (* (+ 10.0 d2) 20.0)))
5.0ms
(* d1 (fma (+ 10.0 d2) (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 (* 20.0 20.0))))
47.0ms
(/ (* d1 (fma (+ 10.0 d2) (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 (* 20.0 20.0)))) (+ (* (+ 10.0 d2) (+ 10.0 d2)) (- (* 20.0 20.0) (* (+ 10.0 d2) 20.0))))

series364.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(fma (+ 10.0 d2) (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 (* 20.0 20.0)))
36.0ms
(+ (* (+ 10.0 d2) (+ 10.0 d2)) (- (* 20.0 20.0) (* (+ 10.0 d2) 20.0)))
76.0ms
(* d1 (fma (+ 10.0 d2) (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 (* 20.0 20.0))))
200.0ms
(/ (* d1 (fma (+ 10.0 d2) (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 (* 20.0 20.0)))) (+ (* (+ 10.0 d2) (+ 10.0 d2)) (- (* 20.0 20.0) (* (+ 10.0 d2) 20.0))))

simplify1.5s

Counts
122 → 122
Iterations

Useful iterations: done (1.5s)

IterNodesCost
024783335
190664461
done500061911

prune681.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes80.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
07124
110124
done10124

end0.0ms

sample791.0ms

Algorithm
intervals
Results
498.0ms9058×body80valid
35.0ms52×body1280valid
7.0ms45×body640valid
3.0ms27×body320valid
1.0ms11×body160valid