Details

Time bar (total: 15.0s)

sample51.0ms

Algorithm
intervals
Results
29.0ms298×body80valid
2.0ms3×body1280valid
2.0ms6×body320valid
1.0ms3×body640valid
0.0ms2×body160valid

simplify64.0ms

Counts
1 → 1
Iterations
IterNodes
682
582
481
370
244
119
09

prune18.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize18.0ms

Local error

Found 1 expressions with local error:

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

rewrite59.0ms

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

series35.0ms

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

simplify1.3s

Counts
27 → 27
Iterations
IterNodes
32802
2514
1131
049

prune232.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* (cbrt (+ d2 (+ 3 d3))) (cbrt (+ d2 (+ 3 d3)))) (* (cbrt (+ d2 (+ 3 d3))) d1))
0.4b
(cbrt (+ d2 (+ 3 d3)))
0.4b
(cbrt (+ d2 (+ 3 d3)))
0.4b
(cbrt (+ d2 (+ 3 d3)))

rewrite191.0ms

Algorithm
rewrite-expression-head
Rules
60×cbrt-div
32×associate-*l/
30×flip3-+ flip-+
28×frac-times
22×*-un-lft-identity
16×pow1 add-exp-log
15×cbrt-prod
10×add-cbrt-cube
9×distribute-lft-out
8×pow-prod-down prod-exp associate-*r/ cbrt-unprod
7×add-sqr-sqrt add-cube-cbrt
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow1/3
1×associate-*r* associate-*l* *-commutative
Counts
4 → 101
Calls
4 calls:
141.0ms
(* (* (cbrt (+ d2 (+ 3 d3))) (cbrt (+ d2 (+ 3 d3)))) (* (cbrt (+ d2 (+ 3 d3))) d1))
13.0ms
(cbrt (+ d2 (+ 3 d3)))
15.0ms
(cbrt (+ d2 (+ 3 d3)))
19.0ms
(cbrt (+ d2 (+ 3 d3)))

series390.0ms

Counts
4 → 12
Calls
4 calls:
35.0ms
(* (* (cbrt (+ d2 (+ 3 d3))) (cbrt (+ d2 (+ 3 d3)))) (* (cbrt (+ d2 (+ 3 d3))) d1))
127.0ms
(cbrt (+ d2 (+ 3 d3)))
122.0ms
(cbrt (+ d2 (+ 3 d3)))
106.0ms
(cbrt (+ d2 (+ 3 d3)))

simplify1.7s

Counts
113 → 113
Iterations
IterNodes
33784
21195
1452
0155

prune1.2s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize15.0ms

Local error

Found 2 expressions with local error:

0.2b
(* (sqrt (+ d2 (+ 3 d3))) d1)
0.3b
(* (sqrt (+ d2 (+ 3 d3))) (* (sqrt (+ d2 (+ 3 d3))) d1))

rewrite122.0ms

Algorithm
rewrite-expression-head
Rules
17×*-un-lft-identity
16×associate-*l*
14×sqrt-div
11×add-sqr-sqrt sqrt-prod
10×associate-*l/
9×pow1 add-cbrt-cube add-exp-log
7×flip3-+ add-cube-cbrt flip-+
6×distribute-lft-out
4×frac-times associate-*r* pow-prod-down prod-exp cbrt-unprod
2×expm1-log1p-u associate-*r/ *-commutative log1p-expm1-u add-log-exp unswap-sqr
Counts
2 → 61
Calls
2 calls:
39.0ms
(* (sqrt (+ d2 (+ 3 d3))) d1)
82.0ms
(* (sqrt (+ d2 (+ 3 d3))) (* (sqrt (+ d2 (+ 3 d3))) d1))

series195.0ms

Counts
2 → 6
Calls
2 calls:
136.0ms
(* (sqrt (+ d2 (+ 3 d3))) d1)
43.0ms
(* (sqrt (+ d2 (+ 3 d3))) (* (sqrt (+ d2 (+ 3 d3))) d1))

simplify1.4s

Counts
67 → 67
Iterations
IterNodes
32791
2904
1313
0115

prune618.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

localize74.0ms

Local error

Found 4 expressions with local error:

0.4b
(cbrt (+ d2 (+ 3 d3)))
0.6b
(/ (cbrt (- (* d2 d2) (* (+ 3 d3) (+ 3 d3)))) (cbrt (- d2 (+ 3 d3))))
2.9b
(- (* d2 d2) (* (+ 3 d3) (+ 3 d3)))
21.0b
(cbrt (- (* d2 d2) (* (+ 3 d3) (+ 3 d3))))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
97×cbrt-prod
87×*-un-lft-identity
63×times-frac
58×add-sqr-sqrt
42×add-cube-cbrt
20×difference-of-squares
16×distribute-lft-out--
11×distribute-lft-out
9×associate-/r*
8×cbrt-div
7×associate-/l*
6×add-exp-log add-log-exp
4×expm1-log1p-u pow1 flip3-- add-cbrt-cube log1p-expm1-u flip--
2×pow1/3 associate-/r/ associate--r+ associate-/l/
1×distribute-rgt-in cbrt-undiv clear-num sub-neg frac-2neg distribute-lft-in flip3-+ fma-neg diff-log div-exp prod-diff flip-+ div-inv
Counts
4 → 149
Calls
4 calls:
7.0ms
(cbrt (+ d2 (+ 3 d3)))
26.0ms
(/ (cbrt (- (* d2 d2) (* (+ 3 d3) (+ 3 d3)))) (cbrt (- d2 (+ 3 d3))))
11.0ms
(- (* d2 d2) (* (+ 3 d3) (+ 3 d3)))
16.0ms
(cbrt (- (* d2 d2) (* (+ 3 d3) (+ 3 d3))))

series646.0ms

Counts
4 → 12
Calls
4 calls:
158.0ms
(cbrt (+ d2 (+ 3 d3)))
231.0ms
(/ (cbrt (- (* d2 d2) (* (+ 3 d3) (+ 3 d3)))) (cbrt (- d2 (+ 3 d3))))
54.0ms
(- (* d2 d2) (* (+ 3 d3) (+ 3 d3)))
201.0ms
(cbrt (- (* d2 d2) (* (+ 3 d3) (+ 3 d3))))

simplify2.5s

Counts
161 → 161
Iterations
IterNodes
35061
21367
1532
0257

prune2.2s

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 0b

regimes172.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
210
110
07

end0.0ms

sample1.9s

Algorithm
intervals
Results
1.4s9524×body80valid
71.0ms211×body640valid
42.0ms161×body320valid
36.0ms89×body1280valid
13.0ms82×body160valid