Details

Time bar (total: 14.0s)

sample39.0ms

Algorithm
intervals
Results
18.0ms294×body80valid
1.0ms10×body320valid
1.0ms7×body640valid
1.0ms3×body1280valid
0.0ms5×body160valid

simplify122.0ms

Counts
1 → 1
Iterations

Useful iterations: 2 (9.0ms)

IterNodesCost
0911
1199
2457
3737
4857
5947
61007
done1007

prune14.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize8.0ms

Local error

Found 1 expressions with local error:

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

rewrite87.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 expm1-log1p-u distribute-lft-in flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ log1p-expm1-u add-log-exp unswap-sqr
Counts
1 → 26
Calls
1 calls:
86.0ms
(* d1 (+ d3 (+ 3.0 d2)))

series39.0ms

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

simplify692.0ms

Counts
29 → 29
Iterations

Useful iterations: done (691.0ms)

IterNodesCost
053281
1171265
2760236
done5001234

prune108.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite728.0ms

Algorithm
rewrite-expression-head
Rules
60×cbrt-div
32×associate-*r/
30×flip3-+ flip-+
29×*-un-lft-identity
28×frac-times
20×cbrt-prod
14×associate-*l/
13×pow1 add-exp-log
12×distribute-lft-out
9×add-sqr-sqrt add-cube-cbrt
8×associate-*r* add-cbrt-cube
6×pow-prod-down prod-exp cbrt-unprod
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow1/3
1×associate-*l* *-commutative
Counts
4 → 105
Calls
4 calls:
659.0ms
(* (* d1 (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2))))) (cbrt (+ d3 (+ 3.0 d2))))
24.0ms
(cbrt (+ d3 (+ 3.0 d2)))
23.0ms
(cbrt (+ d3 (+ 3.0 d2)))
13.0ms
(cbrt (+ d3 (+ 3.0 d2)))

series474.0ms

Counts
4 → 12
Calls
4 calls:
45.0ms
(* (* d1 (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2))))) (cbrt (+ d3 (+ 3.0 d2))))
121.0ms
(cbrt (+ d3 (+ 3.0 d2)))
166.0ms
(cbrt (+ d3 (+ 3.0 d2)))
142.0ms
(cbrt (+ d3 (+ 3.0 d2)))

simplify1.6s

Counts
117 → 117
Iterations

Useful iterations: done (1.5s)

IterNodesCost
01722948
15032759
221512384
done50022195

prune546.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize54.0ms

Local error

Found 4 expressions with local error:

7.5b
(* d1 (* (cbrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2)))) (cbrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2))))))
10.5b
(/ (* (* d1 (* (cbrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2)))) (cbrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2)))))) (cbrt (+ d3 (+ 3.0 d2)))) (* (cbrt (- d3 (+ 3.0 d2))) (cbrt (- d3 (+ 3.0 d2)))))
18.6b
(cbrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2))))
18.6b
(cbrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2))))

rewrite467.0ms

Algorithm
rewrite-expression-head
Rules
82×cbrt-div
44×associate-*r/
41×add-exp-log
36×frac-times
32×flip3-- flip--
26×associate-/l/
21×add-cbrt-cube
19×prod-exp cbrt-unprod
18×associate-*l/
9×pow1 flip3-+ flip-+
8×cbrt-undiv cbrt-prod add-sqr-sqrt div-exp associate-/r/
7×add-cube-cbrt *-un-lft-identity
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-*l* pow-prod-down
2×pow1/3 difference-of-squares
1×frac-2neg times-frac associate-*r* clear-num associate-/r* *-commutative div-inv associate-/l* unswap-sqr
Counts
4 → 126
Calls
4 calls:
105.0ms
(* d1 (* (cbrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2)))) (cbrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2))))))
341.0ms
(/ (* (* d1 (* (cbrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2)))) (cbrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2)))))) (cbrt (+ d3 (+ 3.0 d2)))) (* (cbrt (- d3 (+ 3.0 d2))) (cbrt (- d3 (+ 3.0 d2)))))
6.0ms
(cbrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2))))
6.0ms
(cbrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2))))

series1.2s

Counts
4 → 12
Calls
4 calls:
293.0ms
(* d1 (* (cbrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2)))) (cbrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2))))))
470.0ms
(/ (* (* d1 (* (cbrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2)))) (cbrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2)))))) (cbrt (+ d3 (+ 3.0 d2)))) (* (cbrt (- d3 (+ 3.0 d2))) (cbrt (- d3 (+ 3.0 d2)))))
236.0ms
(cbrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2))))
209.0ms
(cbrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2))))

simplify2.4s

Counts
138 → 138
Iterations

Useful iterations: done (2.4s)

IterNodesCost
02725894
18255305
236324322
done50004221

prune1.1s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize36.0ms

Local error

Found 4 expressions with local error:

1.6b
(- (* (+ 3.0 d2) (+ 3.0 d2)) (* d3 (+ 3.0 d2)))
2.4b
(+ (pow d3 3) (pow (+ 3.0 d2) 3))
4.4b
(* d1 (+ (pow d3 3) (pow (+ 3.0 d2) 3)))
25.2b
(/ (* d1 (+ (pow d3 3) (pow (+ 3.0 d2) 3))) (+ (* d3 d3) (- (* (+ 3.0 d2) (+ 3.0 d2)) (* d3 (+ 3.0 d2)))))

rewrite507.0ms

Algorithm
rewrite-expression-head
Rules
55×*-un-lft-identity
30×associate-*r/
28×flip3-+ flip-+
26×distribute-lft-out
19×unpow-prod-down cube-prod
16×frac-sub
13×add-sqr-sqrt associate-*r*
12×fma-def
11×add-exp-log add-cube-cbrt add-cbrt-cube
8×frac-times add-log-exp
6×pow1 associate-*l/
4×expm1-log1p-u log1p-expm1-u sub-div
3×distribute-rgt-in distribute-lft-in times-frac associate-*l* associate-/r*
2×cbrt-undiv div-exp prod-exp associate--l+ associate-/r/ sum-cubes cbrt-unprod associate-/l/ associate--r+
1×+-commutative cube-mult sub-neg flip3-- distribute-rgt-out-- frac-2neg fma-neg diff-log unpow3 prod-diff pow-prod-down clear-num sum-log *-commutative flip-- div-inv associate-/l* unswap-sqr sqr-pow
Counts
4 → 137
Calls
4 calls:
40.0ms
(- (* (+ 3.0 d2) (+ 3.0 d2)) (* d3 (+ 3.0 d2)))
66.0ms
(+ (pow d3 3) (pow (+ 3.0 d2) 3))
231.0ms
(* d1 (+ (pow d3 3) (pow (+ 3.0 d2) 3)))
162.0ms
(/ (* d1 (+ (pow d3 3) (pow (+ 3.0 d2) 3))) (+ (* d3 d3) (- (* (+ 3.0 d2) (+ 3.0 d2)) (* d3 (+ 3.0 d2)))))

series617.0ms

Counts
4 → 12
Calls
4 calls:
43.0ms
(- (* (+ 3.0 d2) (+ 3.0 d2)) (* d3 (+ 3.0 d2)))
86.0ms
(+ (pow d3 3) (pow (+ 3.0 d2) 3))
194.0ms
(* d1 (+ (pow d3 3) (pow (+ 3.0 d2) 3)))
294.0ms
(/ (* d1 (+ (pow d3 3) (pow (+ 3.0 d2) 3))) (+ (* d3 d3) (- (* (+ 3.0 d2) (+ 3.0 d2)) (* d3 (+ 3.0 d2)))))

simplify709.0ms

Counts
149 → 149
Iterations

Useful iterations: done (702.0ms)

IterNodesCost
02653425
19212845
done50002465

prune861.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes192.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
077
1107
done107

end0.0ms

sample1.4s

Algorithm
intervals
Results
863.0ms9472×body80valid
39.0ms231×body640valid
20.0ms157×body320valid
18.0ms88×body1280valid
7.0ms71×body160valid