Details

Time bar (total: 17.3s)

sample22.0ms

Algorithm
intervals
Results
9.0ms300×body80valid
0.0ms3×body640valid
0.0ms2×body1280valid
0.0ms3×body320valid
0.0ms2×body160valid

simplify39.0ms

Counts
1 → 1
Iterations

Useful iterations: 2 (5.0ms)

IterNodesCost
09204
118164
234124
352124
466124
571124
done71124

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 2 expressions with local error:

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

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
9×add-log-exp
4×sum-log
3×distribute-lft-out
2×add-sqr-sqrt pow1 +-commutative *-un-lft-identity flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+
1×associate-+l+
Counts
2 → 26
Calls
2 calls:
30.0ms
(+ (+ (* d1 3.0) (* d1 d2)) (* d1 d3))
12.0ms
(+ (* d1 3.0) (* d1 d2))

series115.0ms

Counts
2 → 6
Calls
2 calls:
49.0ms
(+ (+ (* d1 3.0) (* d1 d2)) (* d1 d3))
66.0ms
(+ (* d1 3.0) (* d1 d2))

simplify1.4s

Counts
32 → 32
Iterations

Useful iterations: 2 (182.0ms)

IterNodesCost
0588169
11926207
28985687
done50005687

prune185.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b
(* d1 (+ 3.0 d2))
0.2b
(* (* (* d1 (+ 3.0 d2)) (* d1 (+ 3.0 d2))) (* d1 (+ 3.0 d2)))
0.3b
(* (* d1 (+ 3.0 d2)) (* d1 (+ 3.0 d2)))
34.2b
(cbrt (* (* (* d1 (+ 3.0 d2)) (* d1 (+ 3.0 d2))) (* d1 (+ 3.0 d2))))

rewrite516.0ms

Algorithm
rewrite-expression-head
Rules
200×pow1
140×associate-*r/
87×pow-prod-down
61×flip3-+ flip-+
60×frac-times
59×add-cbrt-cube add-exp-log
40×prod-exp cbrt-unprod
38×pow-prod-up
30×associate-*l/
26×cbrt-div
19×pow-plus
16×pow-sqr
9×distribute-rgt-in distribute-lft-in
8×add-sqr-sqrt *-un-lft-identity
6×associate-*r* add-cube-cbrt
5×associate-*l*
4×pow2 add-log-exp
3×*-commutative
2×pow3
1×cbrt-prod pow1/3 swap-sqr rem-cbrt-cube distribute-lft-out unswap-sqr
Counts
4 → 209
Calls
4 calls:
24.0ms
(* d1 (+ 3.0 d2))
210.0ms
(* (* (* d1 (+ 3.0 d2)) (* d1 (+ 3.0 d2))) (* d1 (+ 3.0 d2)))
57.0ms
(* (* d1 (+ 3.0 d2)) (* d1 (+ 3.0 d2)))
213.0ms
(cbrt (* (* (* d1 (+ 3.0 d2)) (* d1 (+ 3.0 d2))) (* d1 (+ 3.0 d2))))

series235.0ms

Counts
4 → 12
Calls
4 calls:
44.0ms
(* d1 (+ 3.0 d2))
75.0ms
(* (* (* d1 (+ 3.0 d2)) (* d1 (+ 3.0 d2))) (* d1 (+ 3.0 d2)))
61.0ms
(* (* d1 (+ 3.0 d2)) (* d1 (+ 3.0 d2)))
56.0ms
(cbrt (* (* (* d1 (+ 3.0 d2)) (* d1 (+ 3.0 d2))) (* d1 (+ 3.0 d2))))

simplify1.3s

Counts
221 → 221
Iterations

Useful iterations: done (1.3s)

IterNodesCost
023684607
173462093
done500061413

prune876.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize40.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt d1)
0.6b
(cbrt d1)
0.6b
(cbrt d1)
34.2b
(cbrt (* (* (* d1 (+ 3.0 d2)) (* d1 (+ 3.0 d2))) (* (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (+ 3.0 d2)))))

rewrite366.0ms

Algorithm
rewrite-expression-head
Rules
80×associate-*r/
28×frac-times
27×flip3-+ flip-+
26×cbrt-div
14×associate-*l/
10×cbrt-prod
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube pow1/3 add-exp-log add-log-exp
Counts
4 → 68
Calls
4 calls:
1.0ms
(cbrt d1)
1.0ms
(cbrt d1)
1.0ms
(cbrt d1)
358.0ms
(cbrt (* (* (* d1 (+ 3.0 d2)) (* d1 (+ 3.0 d2))) (* (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (+ 3.0 d2)))))

series915.0ms

Counts
4 → 12
Calls
4 calls:
266.0ms
(cbrt d1)
259.0ms
(cbrt d1)
300.0ms
(cbrt d1)
89.0ms
(cbrt (* (* (* d1 (+ 3.0 d2)) (* d1 (+ 3.0 d2))) (* (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (+ 3.0 d2)))))

simplify2.7s

Counts
80 → 80
Iterations

Useful iterations: done (2.7s)

IterNodesCost
015343439
144135614
2265834737
done500128017

prune518.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.0b

localize88.0ms

Local error

Found 4 expressions with local error:

4.3b
(* d1 (- (* 3.0 3.0) (* d2 d2)))
13.3b
(/ (cbrt (* (* (* d1 (- (* 3.0 3.0) (* d2 d2))) (* d1 (- (* 3.0 3.0) (* d2 d2)))) (* d1 (+ (* (* 3.0 3.0) 3.0) (* d2 (* d2 d2)))))) (cbrt (* (* (- 3.0 d2) (+ (* 3.0 3.0) (- (* d2 d2) (* 3.0 d2)))) (- 3.0 d2))))
15.1b
(cbrt (* (* (- 3.0 d2) (+ (* 3.0 3.0) (- (* d2 d2) (* 3.0 d2)))) (- 3.0 d2)))
29.6b
(cbrt (* (* (* d1 (- (* 3.0 3.0) (* d2 d2))) (* d1 (- (* 3.0 3.0) (* d2 d2)))) (* d1 (+ (* (* 3.0 3.0) 3.0) (* d2 (* d2 d2))))))

rewrite646.0ms

Algorithm
rewrite-expression-head
Rules
142×associate-*r/
112×frac-times
104×cbrt-div
73×flip3-- flip--
56×associate-*l/
36×flip3-+ flip-+
26×associate-/r/ associate-/l/
18×add-sqr-sqrt
16×*-un-lft-identity times-frac add-cube-cbrt
12×cbrt-prod
8×add-exp-log
6×pow1 add-cbrt-cube
4×associate-/r* associate-*r* associate-/l* add-log-exp
3×associate-*l*
2×distribute-rgt-in sub-neg distribute-lft-in pow1/3
1×cbrt-undiv clear-num frac-2neg div-exp pow-prod-down prod-exp *-commutative cbrt-unprod div-inv difference-of-squares unswap-sqr
Counts
4 → 183
Calls
4 calls:
22.0ms
(* d1 (- (* 3.0 3.0) (* d2 d2)))
107.0ms
(/ (cbrt (* (* (* d1 (- (* 3.0 3.0) (* d2 d2))) (* d1 (- (* 3.0 3.0) (* d2 d2)))) (* d1 (+ (* (* 3.0 3.0) 3.0) (* d2 (* d2 d2)))))) (cbrt (* (* (- 3.0 d2) (+ (* 3.0 3.0) (- (* d2 d2) (* 3.0 d2)))) (- 3.0 d2))))
101.0ms
(cbrt (* (* (- 3.0 d2) (+ (* 3.0 3.0) (- (* d2 d2) (* 3.0 d2)))) (- 3.0 d2)))
391.0ms
(cbrt (* (* (* d1 (- (* 3.0 3.0) (* d2 d2))) (* d1 (- (* 3.0 3.0) (* d2 d2)))) (* d1 (+ (* (* 3.0 3.0) 3.0) (* d2 (* d2 d2))))))

series1.1s

Counts
4 → 12
Calls
4 calls:
96.0ms
(* d1 (- (* 3.0 3.0) (* d2 d2)))
509.0ms
(/ (cbrt (* (* (* d1 (- (* 3.0 3.0) (* d2 d2))) (* d1 (- (* 3.0 3.0) (* d2 d2)))) (* d1 (+ (* (* 3.0 3.0) 3.0) (* d2 (* d2 d2)))))) (cbrt (* (* (- 3.0 d2) (+ (* 3.0 3.0) (- (* d2 d2) (* 3.0 d2)))) (- 3.0 d2))))
200.0ms
(cbrt (* (* (- 3.0 d2) (+ (* 3.0 3.0) (- (* d2 d2) (* 3.0 d2)))) (- 3.0 d2)))
287.0ms
(cbrt (* (* (* d1 (- (* 3.0 3.0) (* d2 d2))) (* d1 (- (* 3.0 3.0) (* d2 d2)))) (* d1 (+ (* (* 3.0 3.0) 3.0) (* d2 (* d2 d2))))))

simplify2.4s

Counts
195 → 195
Iterations

Useful iterations: done (2.3s)

IterNodesCost
0498189293
11381156575
done5001156415

prune2.2s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

regimes252.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
09204
114204
done14204

end0.0ms

sample1.2s

Algorithm
intervals
Results
876.0ms9622×body80valid
30.0ms205×body640valid
16.0ms147×body320valid
13.0ms76×body1280valid
7.0ms81×body160valid