Details

Time bar (total: 9.3s)

sample27.0ms

Algorithm
intervals
Results
9.0ms256×body80valid
8.0ms232×body80nan

simplify868.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01419
12719
26919
316719
432519
559519
685619
795219
896919
done96919

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize13.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))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
41×add-sqr-sqrt
26×associate-*l*
23×add-exp-log add-cbrt-cube
22×add-cube-cbrt *-un-lft-identity 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
4×add-log-exp
3×*-commutative
2×cbrt-undiv distribute-rgt-in sub-neg distribute-lft-in div-exp
1×rem-sqrt-square sqrt-pow1 pow1/2 div-inv difference-of-squares
Counts
4 → 128
Calls
4 calls:
2.0ms
(sqrt (- 1.0 (* 3.0 (* v v))))
30.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)))))
6.0ms
(* 3.0 (* v v))

series634.0ms

Counts
4 → 12
Calls
4 calls:
83.0ms
(sqrt (- 1.0 (* 3.0 (* v v))))
318.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
203.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
29.0ms
(* 3.0 (* v v))

simplify1.0s

Counts
140 → 140
Iterations

Useful iterations: 2 (259.0ms)

IterNodesCost
02783102
18122868
232702648
done50012648

prune375.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize16.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))

rewrite276.0ms

Algorithm
rewrite-expression-head
Rules
97×add-exp-log
90×add-sqr-sqrt
78×add-cbrt-cube
72×times-frac associate-*l*
68×sqrt-prod
60×frac-times
51×prod-exp cbrt-unprod
48×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*
4×*-commutative add-log-exp
2×distribute-rgt-in sub-neg distribute-lft-in div-inv
1×difference-of-squares
Counts
4 → 240
Calls
4 calls:
50.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))))))
31.0ms
(* (/ (cbrt (sqrt 2.0)) (sqrt 4.0)) (sqrt (- 1.0 (* 3.0 (* v v)))))
176.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.1s

Counts
4 → 12
Calls
4 calls:
270.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))))))
404.0ms
(* (/ (cbrt (sqrt 2.0)) (sqrt 4.0)) (sqrt (- 1.0 (* 3.0 (* v v)))))
425.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)))
26.0ms
(* 3.0 (* v v))

simplify620.0ms

Counts
252 → 252
Iterations

Useful iterations: done (602.0ms)

IterNodesCost
04208477
113777744
done50007672

prune772.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize23.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))))

rewrite178.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×associate-/r* add-log-exp
3×*-commutative
2×pow-sqr pow-prod-up div-inv
1×pow2 frac-2neg pow-plus clear-num
Counts
4 → 223
Calls
4 calls:
146.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)))))))
6.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))))

series330.0ms

Counts
4 → 8
Calls
4 calls:
303.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.2s

Counts
231 → 231
Iterations

Useful iterations: 2 (369.0ms)

IterNodesCost
03826407
110465378
243794770
done50004770

prune947.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes31.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

sample714.0ms

Algorithm
intervals
Results
273.0ms8132×body80nan
270.0ms8000×body80valid