Details

Time bar (total: 6.2s)

sample15.0ms

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

simplify26.0ms

Counts
1 → 1
Iterations

Useful iterations: 2 (4.0ms)

IterNodesCost
0911
1189
2327
3447
4487
done487

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
(+ 20.0 (+ 10.0 d2))
0.0b
(* d1 (+ 20.0 (+ 10.0 d2)))

rewrite35.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-+r+ distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
2 → 39
Calls
2 calls:
7.0ms
(+ 20.0 (+ 10.0 d2))
27.0ms
(* d1 (+ 20.0 (+ 10.0 d2)))

series54.0ms

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

simplify1.0s

Counts
45 → 45
Iterations

Useful iterations: 2 (50.0ms)

IterNodesCost
065392
1183378
2531334
32044334
done5001334

prune70.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite54.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-+r+ pow-prod-down prod-exp log-pow *-commutative cbrt-unprod rem-exp-log
Counts
3 → 60
Calls
3 calls:
7.0ms
(+ 20.0 (+ 10.0 d2))
37.0ms
(* d1 (exp (log (+ 20.0 (+ 10.0 d2)))))
8.0ms
(exp (log (+ 20.0 (+ 10.0 d2))))

series73.0ms

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

simplify1.1s

Counts
69 → 69
Iterations

Useful iterations: 2 (56.0ms)

IterNodesCost
095718
1201586
2534517
31899517
done5001517

prune130.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
(- 20.0 (+ 10.0 d2))
0.0b
(* (+ 10.0 d2) (+ 10.0 d2))
4.9b
(* d1 (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2))))
9.9b
(/ (* d1 (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2)))) (- 20.0 (+ 10.0 d2)))

rewrite56.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×associate-*l*
6×flip3-+ times-frac associate-*r/ swap-sqr associate-/r* flip-+ distribute-lft-out--
4×frac-times flip3-- flip-- difference-of-squares
3×distribute-rgt-in sub-neg distribute-lft-in 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* associate--r+
Counts
4 → 113
Calls
4 calls:
7.0ms
(- 20.0 (+ 10.0 d2))
16.0ms
(* (+ 10.0 d2) (+ 10.0 d2))
10.0ms
(* d1 (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2))))
19.0ms
(/ (* d1 (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2)))) (- 20.0 (+ 10.0 d2)))

series218.0ms

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

simplify840.0ms

Counts
125 → 125
Iterations

Useful iterations: 2 (261.0ms)

IterNodesCost
01851956
15071822
219431574
done50001574

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

rewrite219.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:
17.0ms
(- (+ 10.0 d2) 20.0)
111.0ms
(* d1 (/ (+ (pow 20.0 3) (pow (+ 10.0 d2) 3)) (+ (* 20.0 20.0) (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)))))
5.0ms
(pow (+ 10.0 d2) 3)
76.0ms
(/ (+ (pow 20.0 3) (pow (+ 10.0 d2) 3)) (+ (* 20.0 20.0) (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0))))

series411.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(- (+ 10.0 d2) 20.0)
180.0ms
(* d1 (/ (+ (pow 20.0 3) (pow (+ 10.0 d2) 3)) (+ (* 20.0 20.0) (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)))))
32.0ms
(pow (+ 10.0 d2) 3)
178.0ms
(/ (+ (pow 20.0 3) (pow (+ 10.0 d2) 3)) (+ (* 20.0 20.0) (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0))))

simplify942.0ms

Counts
191 → 191
Iterations

Useful iterations: 2 (214.0ms)

IterNodesCost
02174888
15654578
219814296
done50014296

prune337.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes35.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
077
1107
done107

end0.0ms

sample364.0ms

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