Details

Time bar (total: 6.5s)

sample24.0ms

Algorithm
intervals
Results
9.0ms298×body80valid
1.0ms9×body640valid
0.0ms4×body320valid
0.0ms2×body1280valid
0.0ms3×body160valid

simplify3.0ms

Counts
1 → 1

prune5.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize7.0ms

Local error

Found 1 expressions with local error:

0.0b
(* d1 (+ (+ 3.0 d2) d3))

rewrite139.0ms

Algorithm
rewrite-expression-head
Rules
8×*-un-lft-identity
5×add-sqr-sqrt associate-*r*
3×pow1 add-exp-log add-cube-cbrt associate-*l* add-cbrt-cube distribute-lft-out
2×associate-*r/
1×distribute-rgt-in distribute-lft-in flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ add-log-exp unswap-sqr
Counts
1 → 24
Calls
1 calls:
138.0ms
(* d1 (+ (+ 3.0 d2) d3))

series52.0ms

Counts
1 → 3
Calls
1 calls:
52.0ms
(* d1 (+ (+ 3.0 d2) d3))

simplify58.0ms

Counts
27 → 27

prune65.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (cbrt (+ (+ 3.0 d2) d3)) (cbrt (+ (+ 3.0 d2) d3)))
0.4b
(cbrt (+ (+ 3.0 d2) d3))
0.4b
(cbrt (+ (+ 3.0 d2) d3))
0.4b
(cbrt (+ (+ 3.0 d2) d3))

rewrite245.0ms

Algorithm
rewrite-expression-head
Rules
74×*-un-lft-identity
51×cbrt-prod
33×distribute-lft-out
23×add-sqr-sqrt
18×cbrt-div
15×add-cube-cbrt
14×swap-sqr
11×pow1
9×flip3-+ pow1/3 flip-+
8×associate-*r* associate-*l*
6×add-exp-log
4×frac-times add-cbrt-cube add-log-exp unswap-sqr
2×associate-*r/ pow-prod-down associate-*l/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 105
Calls
4 calls:
173.0ms
(* (cbrt (+ (+ 3.0 d2) d3)) (cbrt (+ (+ 3.0 d2) d3)))
16.0ms
(cbrt (+ (+ 3.0 d2) d3))
23.0ms
(cbrt (+ (+ 3.0 d2) d3))
27.0ms
(cbrt (+ (+ 3.0 d2) d3))

series584.0ms

Counts
4 → 12
Calls
4 calls:
165.0ms
(* (cbrt (+ (+ 3.0 d2) d3)) (cbrt (+ (+ 3.0 d2) d3)))
132.0ms
(cbrt (+ (+ 3.0 d2) d3))
153.0ms
(cbrt (+ (+ 3.0 d2) d3))
134.0ms
(cbrt (+ (+ 3.0 d2) d3))

simplify83.0ms

Counts
117 → 117

prune369.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (cbrt (+ (+ 3.0 d2) d3)) (cbrt (+ (+ 3.0 d2) d3)))
0.4b
(cbrt (+ (+ 3.0 d2) d3))
0.4b
(cbrt (+ (+ 3.0 d2) d3))
0.5b
(* (cbrt (sqrt (+ (+ 3.0 d2) d3))) (cbrt (sqrt (+ (+ 3.0 d2) d3))))

rewrite413.0ms

Algorithm
rewrite-expression-head
Rules
124×*-un-lft-identity
106×cbrt-prod
56×add-sqr-sqrt
54×distribute-lft-out
40×sqrt-prod
33×swap-sqr
28×cbrt-div
26×add-cube-cbrt
19×associate-*r* associate-*l*
18×pow1
14×flip3-+ pow1/3 flip-+
13×unswap-sqr
12×sqrt-div
8×add-exp-log frac-times
4×associate-*r/ pow-prod-down associate-*l/ pow-sqr pow-prod-up add-cbrt-cube add-log-exp
2×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 166
Calls
4 calls:
186.0ms
(* (cbrt (+ (+ 3.0 d2) d3)) (cbrt (+ (+ 3.0 d2) d3)))
17.0ms
(cbrt (+ (+ 3.0 d2) d3))
24.0ms
(cbrt (+ (+ 3.0 d2) d3))
178.0ms
(* (cbrt (sqrt (+ (+ 3.0 d2) d3))) (cbrt (sqrt (+ (+ 3.0 d2) d3))))

series602.0ms

Counts
4 → 12
Calls
4 calls:
139.0ms
(* (cbrt (+ (+ 3.0 d2) d3)) (cbrt (+ (+ 3.0 d2) d3)))
156.0ms
(cbrt (+ (+ 3.0 d2) d3))
143.0ms
(cbrt (+ (+ 3.0 d2) d3))
164.0ms
(* (cbrt (sqrt (+ (+ 3.0 d2) d3))) (cbrt (sqrt (+ (+ 3.0 d2) d3))))

simplify105.0ms

Counts
178 → 178

prune601.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize20.0ms

Local error

Found 4 expressions with local error:

1.9b
(- (* d3 d3) (* (+ 3.0 d2) d3))
4.2b
(+ (pow (+ 3.0 d2) 3) (pow d3 3))
5.0b
(* d1 (+ (pow (+ 3.0 d2) 3) (pow d3 3)))
29.3b
(/ (* d1 (+ (pow (+ 3.0 d2) 3) (pow d3 3))) (+ (* (+ 3.0 d2) (+ 3.0 d2)) (- (* d3 d3) (* (+ 3.0 d2) d3))))

rewrite668.0ms

Algorithm
rewrite-expression-head
Rules
52×*-un-lft-identity
26×distribute-lft-out
18×associate-/r/
16×unpow-prod-down flip3-+ cube-prod frac-add flip-+
13×associate-*r*
11×add-exp-log add-cbrt-cube
10×add-sqr-sqrt
9×flip3-- flip--
8×frac-times add-cube-cbrt associate-*r/ add-log-exp
6×pow1
4×associate-*l/
3×times-frac associate-*l* associate-/r*
2×cbrt-undiv div-exp prod-exp sum-cubes cbrt-unprod associate-/l/
1×+-commutative distribute-rgt-in sub-neg distribute-rgt-out-- frac-2neg distribute-lft-in diff-log pow-prod-down clear-num sum-log *-commutative div-inv associate-/l* unswap-sqr
Counts
4 → 107
Calls
4 calls:
17.0ms
(- (* d3 d3) (* (+ 3.0 d2) d3))
124.0ms
(+ (pow (+ 3.0 d2) 3) (pow d3 3))
351.0ms
(* d1 (+ (pow (+ 3.0 d2) 3) (pow d3 3)))
169.0ms
(/ (* d1 (+ (pow (+ 3.0 d2) 3) (pow d3 3))) (+ (* (+ 3.0 d2) (+ 3.0 d2)) (- (* d3 d3) (* (+ 3.0 d2) d3))))

series635.0ms

Counts
4 → 12
Calls
4 calls:
47.0ms
(- (* d3 d3) (* (+ 3.0 d2) d3))
81.0ms
(+ (pow (+ 3.0 d2) 3) (pow d3 3))
255.0ms
(* d1 (+ (pow (+ 3.0 d2) 3) (pow d3 3)))
252.0ms
(/ (* d1 (+ (pow (+ 3.0 d2) 3) (pow d3 3))) (+ (* (+ 3.0 d2) (+ 3.0 d2)) (- (* d3 d3) (* (+ 3.0 d2) d3))))

simplify129.0ms

Counts
119 → 119

prune447.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes63.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

end0.0ms

sample1.2s

Algorithm
intervals
Results
597.0ms9561×body80valid
59.0ms88×body1280valid
40.0ms215×body640valid
19.0ms151×body320valid
7.0ms82×body160valid