Details

Time bar (total: 4.5m)

sample67.0ms

Algorithm
intervals
Results
28.0ms280×body80nan
25.0ms256×body80valid

simplify189.0ms

Calls
1 calls:
Slowest
189.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))

prune22.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize48.0ms

Local error

Found 3 expressions with local error:

0.2b
(* 3 (* v v))
0.0b
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
0.0b
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))

rewrite931.0ms

Algorithm
rewrite-expression-head
Rules
288×add-sqr-sqrt
172×frac-times
166×*-un-lft-identity
137×add-cube-cbrt
124×associate-*l*
104×sqrt-div
103×sqrt-prod
91×flip3-- associate-*r* flip--
90×prod-diff
86×associate-*l/
72×associate-/l*
64×unswap-sqr
48×times-frac
47×distribute-rgt-in distribute-lft-in
36×associate-/r*
34×difference-of-squares
28×swap-sqr
22×add-cbrt-cube add-exp-log
18×*-commutative
15×pow1
12×clear-num frac-2neg
10×prod-exp associate-*r/ cbrt-unprod
7×pow-prod-down
6×distribute-lft-out--
3×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
2×cbrt-undiv sub-neg div-exp div-inv
Calls
3 calls:
Slowest
690.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
189.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
35.0ms
(* 3 (* v v))

series561.0ms

Calls
3 calls:
Slowest
304.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
216.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
40.0ms
(* 3 (* v v))

simplify1.8m

Calls
533 calls:
Slowest
907.0ms
(* (* (* (/ (sqrt 2) 4) (/ (sqrt 2) 4)) (/ (sqrt 2) 4)) (* (* (sqrt (- 1 (* 3 (* v v)))) (sqrt (- 1 (* 3 (* v v))))) (sqrt (- 1 (* 3 (* v v))))))
868.0ms
(* (* (sqrt 4) (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))) (+ 1 (* v v)))
742.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (fma (- (* (sqrt v) (sqrt v))) (* (sqrt v) (sqrt v)) (* (* (sqrt v) (sqrt v)) (* (sqrt v) (sqrt v)))))
716.0ms
(* (* (- 4) (sqrt (+ 1 (* 3 (* v v))))) (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))))
674.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (fma (- (* (cbrt v) (cbrt v))) (* (* (cbrt v) (cbrt v)) (* (cbrt v) (cbrt v))) (* (* (cbrt v) (cbrt v)) (* (* (cbrt v) (cbrt v)) (* (cbrt v) (cbrt v))))))

prune5.6s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize42.0ms

Local error

Found 4 expressions with local error:

1.0b
(/ 4 (sqrt 2))
1.0b
(/ 4 (sqrt 2))
1.0b
(/ (* (- 1 (* (* v v) (* v v))) (sqrt (fma (* v v) -3 1))) (fma (/ 4 (sqrt 2)) (* v v) (/ 4 (sqrt 2))))
0.1b
(* (* v v) (* v v))

rewrite930.0ms

Algorithm
rewrite-expression-head
Rules
946×add-sqr-sqrt
361×associate-*l* unswap-sqr
340×*-un-lft-identity
315×times-frac
296×difference-of-squares
229×swap-sqr
164×add-cube-cbrt
141×*-commutative
115×pow1
99×associate-/l*
51×associate-*r*
40×sqrt-prod
36×pow-prod-up
25×add-cbrt-cube add-exp-log
23×pow-prod-down
22×pow-sqr
18×pow-plus
15×associate-/r*
13×pow2
12×distribute-lft-out--
9×prod-exp cbrt-unprod
4×expm1-log1p-u cbrt-undiv div-exp insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg div-inv
2×associate-*l/ associate-/l/
1×flip3-- flip--
Calls
4 calls:
Slowest
813.0ms
(/ (* (- 1 (* (* v v) (* v v))) (sqrt (fma (* v v) -3 1))) (fma (/ 4 (sqrt 2)) (* v v) (/ 4 (sqrt 2))))
73.0ms
(* (* v v) (* v v))
8.0ms
(/ 4 (sqrt 2))
8.0ms
(/ 4 (sqrt 2))

series499.0ms

Calls
4 calls:
Slowest
456.0ms
(/ (* (- 1 (* (* v v) (* v v))) (sqrt (fma (* v v) -3 1))) (fma (/ 4 (sqrt 2)) (* v v) (/ 4 (sqrt 2))))
42.0ms
(* (* v v) (* v v))
0.0ms
(/ 4 (sqrt 2))
0.0ms
(/ 4 (sqrt 2))

simplify2.3m

Calls
933 calls:
Slowest
907.0ms
(/ (* (- 1 (* (* (sqrt v) (sqrt v)) (* (sqrt v) (sqrt v)))) (sqrt (fma (* v v) -3 1))) (cbrt (fma (/ 4 (sqrt 2)) (* v v) (/ 4 (sqrt 2)))))
781.0ms
(/ (- 1 (* (* v v) (* v v))) (cbrt (fma (/ 4 (sqrt 2)) (* v v) (/ 4 (sqrt 2)))))
749.0ms
(/ (* (cbrt (* (- 1 (* (* v v) (* v v))) (sqrt (fma (* v v) -3 1)))) (cbrt (* (- 1 (* (* v v) (* v v))) (sqrt (fma (* v v) -3 1))))) (* (cbrt (fma (/ 4 (sqrt 2)) (* v v) (/ 4 (sqrt 2)))) (cbrt (fma (/ 4 (sqrt 2)) (* v v) (/ 4 (sqrt 2))))))
742.0ms
(/ (* (- (sqrt 1) (* v (* (sqrt v) (sqrt v)))) (sqrt (fma (* v v) -3 1))) (fma (/ 4 (sqrt 2)) (* v v) (/ 4 (sqrt 2))))
612.0ms
(/ (* (- 1 (* (* v v) (* v v))) (sqrt (fma (* v v) -3 1))) (fma (/ 4 (sqrt 2)) (* v v) (/ 4 (sqrt 2))))

prune6.6s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes71.0ms

Accuracy

0% (0.0b remaining)

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

bsearch4.0ms

end0.0ms

sample2.9s

Algorithm
intervals
Results
1.5s8045×body80nan
1.1s8000×body80valid