Details

Time bar (total: 9.8s)

sample31.0ms

Algorithm
intervals
Results
12.0ms256×body80valid
8.0ms232×body80nan

simplify1.1s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01419
12719
26919
317819
436019
564519
691519
7103319
8107419
9108019
done108019

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (- 1.0 (* 3.0 (* v v))))
0.0b
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
0.0b
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
0.2b
(* 3.0 (* v v))

rewrite69.0ms

Algorithm
rewrite-expression-head
Rules
43×add-sqr-sqrt
26×associate-*l*
24×add-cube-cbrt *-un-lft-identity
23×add-exp-log add-cbrt-cube
22×times-frac
20×sqrt-prod
18×frac-times sqrt-div
17×pow1
15×flip3-- flip--
11×associate-*r*
10×associate-*r/ prod-exp cbrt-unprod
9×associate-*l/
7×pow-prod-down unswap-sqr
6×prod-diff
5×distribute-rgt-in distribute-lft-in
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×*-commutative
2×cbrt-undiv sub-neg div-exp
1×rem-sqrt-square sqrt-pow1 pow1/2 div-inv difference-of-squares
Counts
4 → 142
Calls
4 calls:
3.0ms
(sqrt (- 1.0 (* 3.0 (* v v))))
32.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
18.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
9.0ms
(* 3.0 (* v v))

series663.0ms

Counts
4 → 12
Calls
4 calls:
86.0ms
(sqrt (- 1.0 (* 3.0 (* v v))))
338.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
210.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
30.0ms
(* 3.0 (* v v))

simplify1.1s

Counts
154 → 154
Iterations

Useful iterations: 2 (443.0ms)

IterNodesCost
03013466
18663174
233392946
done50002946

prune434.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (sqrt 4.0)) (* (/ (cbrt (sqrt 2.0)) (sqrt 4.0)) (sqrt (- 1.0 (* 3.0 (* v v))))))
0.0b
(* (/ (cbrt (sqrt 2.0)) (sqrt 4.0)) (sqrt (- 1.0 (* 3.0 (* v v)))))
0.0b
(* (* (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (sqrt 4.0)) (* (/ (cbrt (sqrt 2.0)) (sqrt 4.0)) (sqrt (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v)))
0.2b
(* 3.0 (* v v))

rewrite292.0ms

Algorithm
rewrite-expression-head
Rules
97×add-exp-log
92×add-sqr-sqrt
78×add-cbrt-cube
72×times-frac associate-*l*
68×sqrt-prod
60×frac-times
51×prod-exp cbrt-unprod
50×add-cube-cbrt *-un-lft-identity
44×cbrt-prod
40×associate-*r/
36×sqrt-div
30×flip3-- flip--
25×pow1
24×associate-*l/
19×cbrt-undiv div-exp
15×unswap-sqr
13×pow-prod-down
12×associate-*r*
6×prod-diff
5×distribute-rgt-in distribute-lft-in
4×expm1-log1p-u *-commutative log1p-expm1-u add-log-exp
2×sub-neg div-inv
1×difference-of-squares
Counts
4 → 254
Calls
4 calls:
52.0ms
(* (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (sqrt 4.0)) (* (/ (cbrt (sqrt 2.0)) (sqrt 4.0)) (sqrt (- 1.0 (* 3.0 (* v v))))))
34.0ms
(* (/ (cbrt (sqrt 2.0)) (sqrt 4.0)) (sqrt (- 1.0 (* 3.0 (* v v)))))
185.0ms
(* (* (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (sqrt 4.0)) (* (/ (cbrt (sqrt 2.0)) (sqrt 4.0)) (sqrt (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v)))
7.0ms
(* 3.0 (* v v))

series1.2s

Counts
4 → 12
Calls
4 calls:
280.0ms
(* (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (sqrt 4.0)) (* (/ (cbrt (sqrt 2.0)) (sqrt 4.0)) (sqrt (- 1.0 (* 3.0 (* v v))))))
414.0ms
(* (/ (cbrt (sqrt 2.0)) (sqrt 4.0)) (sqrt (- 1.0 (* 3.0 (* v v)))))
444.0ms
(* (* (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (sqrt 4.0)) (* (/ (cbrt (sqrt 2.0)) (sqrt 4.0)) (sqrt (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v)))
27.0ms
(* 3.0 (* v v))

simplify451.0ms

Counts
266 → 266
Iterations

Useful iterations: done (440.0ms)

IterNodesCost
04439063
114288233
done50008223

prune1.0s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (/ (cbrt (sqrt 2.0)) (sqrt (* (cbrt 4.0) (cbrt 4.0)))) (* (/ (cbrt (sqrt 2.0)) (sqrt (cbrt 4.0))) (* (/ (cbrt (sqrt 2.0)) (sqrt 4.0)) (sqrt (- 1.0 (* 3.0 (* v v)))))))
0.2b
(* 3.0 (* v v))
1.0b
(* (cbrt 4.0) (cbrt 4.0))
1.0b
(/ (cbrt (sqrt 2.0)) (sqrt (* (cbrt 4.0) (cbrt 4.0))))

rewrite186.0ms

Algorithm
rewrite-expression-head
Rules
78×add-exp-log
72×times-frac
70×cbrt-prod
69×add-sqr-sqrt
60×add-cube-cbrt *-un-lft-identity
58×add-cbrt-cube
49×associate-*l*
46×sqrt-prod
38×prod-exp cbrt-unprod
29×frac-times associate-*r/
25×pow1
18×cbrt-undiv div-exp
16×sqrt-div
11×pow-prod-down
9×associate-/l*
8×flip3-- associate-*r* flip--
7×associate-*l/
6×pow1/3 swap-sqr
5×unswap-sqr
4×expm1-log1p-u associate-/r* log1p-expm1-u add-log-exp
3×*-commutative
2×pow-sqr pow-prod-up div-inv
1×pow2 frac-2neg pow-plus clear-num
Counts
4 → 231
Calls
4 calls:
153.0ms
(* (/ (cbrt (sqrt 2.0)) (sqrt (* (cbrt 4.0) (cbrt 4.0)))) (* (/ (cbrt (sqrt 2.0)) (sqrt (cbrt 4.0))) (* (/ (cbrt (sqrt 2.0)) (sqrt 4.0)) (sqrt (- 1.0 (* 3.0 (* v v)))))))
7.0ms
(* 3.0 (* v v))
6.0ms
(* (cbrt 4.0) (cbrt 4.0))
7.0ms
(/ (cbrt (sqrt 2.0)) (sqrt (* (cbrt 4.0) (cbrt 4.0))))

series326.0ms

Counts
4 → 8
Calls
4 calls:
300.0ms
(* (/ (cbrt (sqrt 2.0)) (sqrt (* (cbrt 4.0) (cbrt 4.0)))) (* (/ (cbrt (sqrt 2.0)) (sqrt (cbrt 4.0))) (* (/ (cbrt (sqrt 2.0)) (sqrt 4.0)) (sqrt (- 1.0 (* 3.0 (* v v)))))))
26.0ms
(* 3.0 (* v v))
0.0ms
(* (cbrt 4.0) (cbrt 4.0))
0.0ms
(/ (cbrt (sqrt 2.0)) (sqrt (* (cbrt 4.0) (cbrt 4.0))))

simplify1.1s

Counts
239 → 239
Iterations

Useful iterations: 2 (370.0ms)

IterNodesCost
03906523
110525451
240834855
done50004855

prune967.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes28.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01932
12332
done2332

end0.0ms

sample739.0ms

Algorithm
intervals
Results
282.0ms8132×body80nan
277.0ms8000×body80valid