Details

Time bar (total: 54.6s)

sample68.0ms

Algorithm
intervals
Results
28.0ms256×body80valid
27.0ms249×body80nan

simplify229.0ms

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

prune24.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 4 expressions with local error:

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

rewrite128.0ms

Algorithm
rewrite-expression-head
Rules
43×add-sqr-sqrt
26×associate-*l*
25×*-un-lft-identity
24×add-cube-cbrt
23×add-cbrt-cube add-exp-log
22×times-frac
20×sqrt-prod
18×frac-times sqrt-div
17×pow1
15×flip3-- flip--
12×associate-*r*
10×prod-exp associate-*r/ 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 insert-posit16 log1p-expm1-u add-log-exp
3×*-commutative
2×cbrt-undiv sub-neg div-exp difference-of-squares
1×rem-sqrt-square sqrt-pow1 pow1/2 div-inv
Counts
4 → 147
Calls
4 calls:
Slowest
67.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
37.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
14.0ms
(* 3 (* v v))
7.0ms
(sqrt (- 1 (* 3 (* v v))))

series637.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
331.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
187.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
83.0ms
(sqrt (- 1 (* 3 (* v v))))
36.0ms
(* 3 (* v v))

simplify19.9s

Counts
131 → 159
Calls
131 calls:
Slowest
1.1s
(* (* (* (/ (sqrt 2) 4) (/ (sqrt 2) 4)) (/ (sqrt 2) 4)) (* (* (sqrt (- 1 (* 3 (* v v)))) (sqrt (- 1 (* 3 (* v v))))) (sqrt (- 1 (* 3 (* v v))))))
754.0ms
(* (* 4 (sqrt (+ 1 (* 3 (* v v))))) (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))))
493.0ms
(* (sqrt 2) (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v))))))
486.0ms
(* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))
446.0ms
(- (* 1/8 (/ 1 (* (pow (sqrt -3) 3) (pow v 3)))) (+ (* 1/2 (/ 1 (* (sqrt -3) v))) (* (sqrt -3) v)))

prune1.6s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize50.0ms

Local error

Found 4 expressions with local error:

0.0b
(cbrt (* (* (fma (* -3 v) v 1) (sqrt (fma (* -3 v) v 1))) (* 1/32 (sqrt 2))))
0.0b
(sqrt (fma (* -3 v) v 1))
0.0b
(* (fma (* -3 v) v 1) (sqrt (fma (* -3 v) v 1)))
0.0b
(* (* (fma (* -3 v) v 1) (sqrt (fma (* -3 v) v 1))) (* 1/32 (sqrt 2)))

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
22×pow1
18×add-cbrt-cube add-exp-log
14×add-sqr-sqrt
9×pow-prod-down prod-exp cbrt-unprod
8×*-un-lft-identity add-cube-cbrt
7×associate-*r* sqrt-prod
4×expm1-log1p-u associate-*l* insert-posit16 log1p-expm1-u add-log-exp
2×sqrt-pow1 pow1/2 *-commutative pow-prod-up unswap-sqr
1×cbrt-prod rem-sqrt-square pow1/3 pow3
Counts
4 → 81
Calls
4 calls:
Slowest
34.0ms
(* (* (fma (* -3 v) v 1) (sqrt (fma (* -3 v) v 1))) (* 1/32 (sqrt 2)))
22.0ms
(cbrt (* (* (fma (* -3 v) v 1) (sqrt (fma (* -3 v) v 1))) (* 1/32 (sqrt 2))))
14.0ms
(* (fma (* -3 v) v 1) (sqrt (fma (* -3 v) v 1)))
2.0ms
(sqrt (fma (* -3 v) v 1))

series891.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
376.0ms
(cbrt (* (* (fma (* -3 v) v 1) (sqrt (fma (* -3 v) v 1))) (* 1/32 (sqrt 2))))
284.0ms
(* (* (fma (* -3 v) v 1) (sqrt (fma (* -3 v) v 1))) (* 1/32 (sqrt 2)))
154.0ms
(* (fma (* -3 v) v 1) (sqrt (fma (* -3 v) v 1)))
76.0ms
(sqrt (fma (* -3 v) v 1))

simplify9.1s

Counts
52 → 93
Calls
52 calls:
Slowest
647.0ms
(* (* (fma (* -3 v) v 1) (sqrt (fma (* -3 v) v 1))) (* 1/32 (sqrt 2)))
636.0ms
(* (* (fma (* -3 v) v 1) (sqrt (fma (* -3 v) v 1))) (* 1/32 (sqrt 2)))
587.0ms
(* (* (fma (* -3 v) v 1) (sqrt (fma (* -3 v) v 1))) (* 1/32 (sqrt 2)))
558.0ms
(* (* (fma (* -3 v) v 1) (sqrt (fma (* -3 v) v 1))) (* 1/32 (sqrt 2)))
531.0ms
(* (* (* (fma (* -3 v) v 1) (fma (* -3 v) v 1)) (fma (* -3 v) v 1)) (* (* (sqrt (fma (* -3 v) v 1)) (sqrt (fma (* -3 v) v 1))) (sqrt (fma (* -3 v) v 1))))

prune1.1s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize48.0ms

Local error

Found 4 expressions with local error:

0.1b
(* v (* v v))
0.1b
(* v (* v v))
0.1b
(* (* v (* v v)) (* v (* v v)))
0.0b
(sqrt (fma -3 (* v v) 1))

rewrite157.0ms

Algorithm
rewrite-expression-head
Rules
293×pow1
126×pow-prod-up
79×pow-prod-down
50×add-cbrt-cube add-exp-log
33×prod-exp cbrt-unprod
32×pow-sqr
23×pow-plus
17×pow2
16×cube-unmult
10×add-sqr-sqrt
7×*-un-lft-identity associate-*l* add-cube-cbrt
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×associate-*r* *-commutative sqrt-prod
2×unswap-sqr
1×rem-sqrt-square sqrt-pow1 pow1/2 swap-sqr
Counts
4 → 172
Calls
4 calls:
Slowest
96.0ms
(* (* v (* v v)) (* v (* v v)))
28.0ms
(* v (* v v))
28.0ms
(* v (* v v))
1.0ms
(sqrt (fma -3 (* v v) 1))

series236.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
63.0ms
(* (* v (* v v)) (* v (* v v)))
63.0ms
(* v (* v v))
56.0ms
(sqrt (fma -3 (* v v) 1))
54.0ms
(* v (* v v))

simplify14.6s

Counts
159 → 184
Calls
159 calls:
Slowest
847.0ms
(* (* v (* v v)) (* v (* v v)))
798.0ms
(* (* (* (* v v) v) (* (* (* v v) v) (* (* v v) v))) (* (* (* v (* v v)) (* v (* v v))) (* v (* v v))))
626.0ms
(* (* (* (* v (* v v)) (* v (* v v))) (* v (* v v))) (* (* (* v (* v v)) (* v (* v v))) (* v (* v v))))
617.0ms
(* (* (* (* v v) v) (* (* (* v v) (* v v)) (* v v))) (* (* (* v (* v v)) (* v (* v v))) (* v (* v v))))
612.0ms
(* (* (* (* v (* v v)) (* v (* v v))) (* v (* v v))) (* (* (* v v) v) (* (* (* v v) v) (* (* v v) v))))

prune2.7s

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

bsearch4.0ms

end0.0ms

sample3.1s

Algorithm
intervals
Results
1.6s8000×body80valid
1.3s7960×body80nan