Details

Time bar (total: 4.4s)

sample16.0ms

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

simplify9.0ms

Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
0184
1343
2523
3603
4603
done603

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))

rewrite97.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))

series53.0ms

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

simplify91.0ms

Counts
45 → 45
Iterations

Useful iterations: 2 (25.0ms)

IterNodesCost
0177179
1791157
24227156
35003156
done5003156

prune66.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (+ 10.0 d2) 20.0)
0.0b
(+ (+ 10.0 d2) 20.0)
0.1b
(* d1 (sqrt (+ (+ 10.0 d2) 20.0)))
0.3b
(* (* d1 (sqrt (+ (+ 10.0 d2) 20.0))) (sqrt (+ (+ 10.0 d2) 20.0)))

rewrite248.0ms

Algorithm
rewrite-expression-head
Rules
29×*-un-lft-identity
16×associate-*r*
14×sqrt-div add-log-exp
13×add-sqr-sqrt
12×distribute-lft-out
11×pow1 add-exp-log sqrt-prod add-cbrt-cube
10×associate-*r/
9×add-cube-cbrt flip3-+ flip-+
6×sum-log
4×frac-times associate-*l* pow-prod-down prod-exp cbrt-unprod
2×+-commutative associate-+l+ associate-*l/ *-commutative unswap-sqr
Counts
4 → 87
Calls
4 calls:
25.0ms
(+ (+ 10.0 d2) 20.0)
25.0ms
(+ (+ 10.0 d2) 20.0)
66.0ms
(* d1 (sqrt (+ (+ 10.0 d2) 20.0)))
129.0ms
(* (* d1 (sqrt (+ (+ 10.0 d2) 20.0))) (sqrt (+ (+ 10.0 d2) 20.0)))

series130.0ms

Counts
4 → 12
Calls
4 calls:
17.0ms
(+ (+ 10.0 d2) 20.0)
20.0ms
(+ (+ 10.0 d2) 20.0)
57.0ms
(* d1 (sqrt (+ (+ 10.0 d2) 20.0)))
36.0ms
(* (* d1 (sqrt (+ (+ 10.0 d2) 20.0))) (sqrt (+ (+ 10.0 d2) 20.0)))

simplify43.0ms

Counts
99 → 99
Iterations

Useful iterations: 2 (36.0ms)

IterNodesCost
0330639
11487549
25002535
done5002535

prune171.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (pow (+ 10.0 d2) 3) (pow 20.0 3))
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
(pow (+ 10.0 d2) 3)
17.5b
(/ (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)) (+ (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)) (* 20.0 20.0)))

rewrite552.0ms

Algorithm
rewrite-expression-head
Rules
223×*-un-lft-identity
106×distribute-lft-out
79×times-frac
68×unpow-prod-down cube-prod
48×add-sqr-sqrt
45×associate-*r*
43×add-cube-cbrt
13×associate-/l*
12×add-exp-log add-cbrt-cube
8×sum-cubes
7×pow1
6×add-log-exp
5×flip3-+ flip-+
4×associate-/r/
3×pow-unpow associate-*l* associate-/r*
2×cbrt-undiv cube-div div-exp prod-exp cbrt-unprod div-inv associate-/l/ unswap-sqr
1×+-commutative cube-mult pow-to-exp pow-pow frac-2neg unpow3 associate-*r/ pow-prod-down pow-exp clear-num sum-log *-commutative rem-cube-cbrt sqr-pow
Counts
4 → 183
Calls
4 calls:
58.0ms
(+ (pow (+ 10.0 d2) 3) (pow 20.0 3))
282.0ms
(* d1 (/ (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)) (+ (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)) (* 20.0 20.0))))
8.0ms
(pow (+ 10.0 d2) 3)
194.0ms
(/ (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)) (+ (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)) (* 20.0 20.0)))

series410.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(+ (pow (+ 10.0 d2) 3) (pow 20.0 3))
180.0ms
(* d1 (/ (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)) (+ (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)) (* 20.0 20.0))))
25.0ms
(pow (+ 10.0 d2) 3)
171.0ms
(/ (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)) (+ (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)) (* 20.0 20.0)))

simplify92.0ms

Counts
195 → 195
Iterations

Useful iterations: 2 (71.0ms)

IterNodesCost
05422348
126732196
250012189
done50012189

prune336.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize17.0ms

Local error

Found 4 expressions with local error:

3.2b
(* (* (sqrt (+ (pow (+ 10.0 d2) 3) (pow 20.0 3))) d1) (/ (sqrt (+ (pow (+ 10.0 d2) 3) (pow 20.0 3))) (+ (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)) (* 20.0 20.0))))
4.0b
(sqrt (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)))
4.0b
(sqrt (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)))
5.4b
(/ (sqrt (+ (pow (+ 10.0 d2) 3) (pow 20.0 3))) (+ (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)) (* 20.0 20.0)))

rewrite710.0ms

Algorithm
rewrite-expression-head
Rules
252×*-un-lft-identity
117×sqrt-prod distribute-lft-out
96×times-frac
72×unpow-prod-down cube-prod
56×add-sqr-sqrt
54×add-cube-cbrt associate-*r*
18×add-exp-log add-cbrt-cube
16×associate-/l*
11×pow1
10×sqrt-div
9×sum-cubes
7×flip3-+ flip-+
6×associate-*l/ prod-exp cbrt-unprod
4×associate-/r/ add-log-exp
3×cbrt-undiv div-exp pow-prod-down associate-/r*
2×frac-times rem-sqrt-square sqrt-pow1 pow1/2 div-inv associate-/l/
1×frac-2neg associate-*r/ associate-*l* clear-num *-commutative
Counts
4 → 211
Calls
4 calls:
382.0ms
(* (* (sqrt (+ (pow (+ 10.0 d2) 3) (pow 20.0 3))) d1) (/ (sqrt (+ (pow (+ 10.0 d2) 3) (pow 20.0 3))) (+ (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)) (* 20.0 20.0))))
75.0ms
(sqrt (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)))
75.0ms
(sqrt (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)))
166.0ms
(/ (sqrt (+ (pow (+ 10.0 d2) 3) (pow 20.0 3))) (+ (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)) (* 20.0 20.0)))

series345.0ms

Counts
4 → 12
Calls
4 calls:
96.0ms
(* (* (sqrt (+ (pow (+ 10.0 d2) 3) (pow 20.0 3))) d1) (/ (sqrt (+ (pow (+ 10.0 d2) 3) (pow 20.0 3))) (+ (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)) (* 20.0 20.0))))
65.0ms
(sqrt (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)))
59.0ms
(sqrt (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)))
125.0ms
(/ (sqrt (+ (pow (+ 10.0 d2) 3) (pow 20.0 3))) (+ (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)) (* 20.0 20.0)))

simplify98.0ms

Counts
223 → 223
Iterations

Useful iterations: 2 (68.0ms)

IterNodesCost
06723780
133023431
250023351
done50023351

prune447.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes39.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
0103
1103
done103

end0.0ms

sample398.0ms

Algorithm
intervals
Results
201.0ms9071×body80valid
6.0ms58×body1280valid
4.0ms48×body640valid
1.0ms19×body320valid
1.0ms14×body160valid