Details

Time bar (total: 1.6m)

sample64.0ms

Algorithm
intervals
Results
30.0ms259×body80nan
23.0ms256×body80valid

simplify218.0ms

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

prune18.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 3 expressions with local error:

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

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
36×times-frac
27×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
23×associate-*l*
18×associate-/r/
10×add-cbrt-cube add-exp-log div-inv
9×associate-/r*
8×flip3-- flip--
6×associate-*r*
5×pow1
3×expm1-log1p-u sqrt-prod insert-posit16 log1p-expm1-u associate-/l* add-log-exp
2×cbrt-undiv clear-num frac-2neg div-exp prod-exp cbrt-unprod
1×pow-prod-down associate-*l/ *-commutative
Calls
3 calls:
Slowest
8.0ms
(* (/ (sqrt 2) (/ 4 (- 1 (* v v)))) (sqrt (fma (* v v) -3 1)))
4.0ms
(/ (sqrt 2) (/ 4 (- 1 (* v v))))
1.0ms
(/ 4 (- 1 (* v v)))

series558.0ms

Calls
3 calls:
Slowest
350.0ms
(* (/ (sqrt 2) (/ 4 (- 1 (* v v)))) (sqrt (fma (* v v) -3 1)))
174.0ms
(/ (sqrt 2) (/ 4 (- 1 (* v v))))
34.0ms
(/ 4 (- 1 (* v v)))

simplify12.5s

Calls
95 calls:
Slowest
616.0ms
(/ (sqrt (sqrt 2)) (/ 4 (- (pow 1 3) (pow (* v v) 3))))
598.0ms
(/ (sqrt (sqrt 2)) (/ 4 (- (pow 1 3) (pow (* v v) 3))))
581.0ms
(/ (* (cbrt (sqrt 2)) (cbrt (sqrt 2))) (/ 4 (- (* 1 1) (* (* v v) (* v v)))))
559.0ms
(/ (* (cbrt (sqrt 2)) (cbrt (sqrt 2))) (/ 4 (- (* 1 1) (* (* v v) (* v v)))))
501.0ms
(/ (* (* (sqrt 2) (sqrt 2)) (sqrt 2)) (* (* (/ 4 (- 1 (* v v))) (/ 4 (- 1 (* v v)))) (/ 4 (- 1 (* v v)))))

prune1.2s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1 add-cbrt-cube add-exp-log
7×associate-*r* associate-*l* associate-*l/
6×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow-prod-down prod-exp cbrt-unprod
3×flip3-- sqrt-prod flip--
2×expm1-log1p-u frac-times associate-*r/ *-commutative insert-posit16 log1p-expm1-u add-log-exp
1×div-inv
Calls
2 calls:
Slowest
20.0ms
(* (/ (sqrt 2) 4) (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1))))
6.0ms
(* (- 1 (* v v)) (sqrt (fma (* v v) -3 1)))

series476.0ms

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

simplify6.7s

Calls
36 calls:
Slowest
459.0ms
(* 4 (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))))
420.0ms
(* (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v))) (* (* (sqrt (fma (* v v) -3 1)) (sqrt (fma (* v v) -3 1))) (sqrt (fma (* v v) -3 1))))
400.0ms
(- (+ (* 1/2 (/ v (sqrt -3))) (* (sqrt -3) (pow v 3))) (+ (* 1/2 (/ 1 (* (sqrt -3) v))) (+ (* 1/8 (/ 1 (* (pow (sqrt -3) 3) v))) (* (sqrt -3) v))))
398.0ms
(* (/ (sqrt 2) 4) (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1))))
384.0ms
(* (- (pow 1 3) (pow (* v v) 3)) (sqrt (fma (* v v) -3 1)))

prune592.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize31.0ms

Local error

Found 4 expressions with local error:

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

rewrite491.0ms

Algorithm
rewrite-expression-head
Rules
328×associate-*l/
164×frac-times
110×flip3-- flip--
61×pow1 add-cbrt-cube add-exp-log
53×cbrt-div
44×pow-prod-down prod-exp cbrt-unprod
34×associate-*r/
16×associate-*r*
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
7×associate-*l*
6×sqrt-prod
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×*-commutative
1×cbrt-prod pow1/3 div-inv
Calls
4 calls:
Slowest
271.0ms
(* (* (* (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1))) (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1)))) (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1)))) (/ (* 1/2 (sqrt 2)) 16))
185.0ms
(cbrt (* (* (* (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1))) (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1)))) (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1)))) (/ (* 1/2 (sqrt 2)) 16)))
11.0ms
(* (- 1 (* v v)) (sqrt (fma (* v v) -3 1)))
11.0ms
(* (- 1 (* v v)) (sqrt (fma (* v v) -3 1)))

series1.3s

Calls
4 calls:
Slowest
554.0ms
(cbrt (* (* (* (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1))) (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1)))) (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1)))) (/ (* 1/2 (sqrt 2)) 16)))
449.0ms
(* (* (* (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1))) (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1)))) (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1)))) (/ (* 1/2 (sqrt 2)) 16))
173.0ms
(* (- 1 (* v v)) (sqrt (fma (* v v) -3 1)))
166.0ms
(* (- 1 (* v v)) (sqrt (fma (* v v) -3 1)))

simplify1.1m

Calls
208 calls:
Slowest
1.4s
(* (* (* (* (* (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1))) (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1)))) (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1)))) (* (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v))) (* (* (sqrt (fma (* v v) -3 1)) (sqrt (fma (* v v) -3 1))) (sqrt (fma (* v v) -3 1))))) (* (* (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1))) (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1)))) (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1))))) (* (* (/ (* 1/2 (sqrt 2)) 16) (/ (* 1/2 (sqrt 2)) 16)) (/ (* 1/2 (sqrt 2)) 16)))
1.2s
(* (* (* (* (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v))) (* (* (sqrt (fma (* v v) -3 1)) (sqrt (fma (* v v) -3 1))) (sqrt (fma (* v v) -3 1)))) (* (* (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1))) (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1)))) (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1))))) (* (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v))) (* (* (sqrt (fma (* v v) -3 1)) (sqrt (fma (* v v) -3 1))) (sqrt (fma (* v v) -3 1))))) (* (* (/ (* 1/2 (sqrt 2)) 16) (/ (* 1/2 (sqrt 2)) 16)) (/ (* 1/2 (sqrt 2)) 16)))
1.1s
(* (* (* (* (* (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1))) (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1)))) (* (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1))) (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1))))) (* (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1))) (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1))))) (* (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v))) (* (* (sqrt (fma (* v v) -3 1)) (sqrt (fma (* v v) -3 1))) (sqrt (fma (* v v) -3 1))))) (* (* (/ (* 1/2 (sqrt 2)) 16) (/ (* 1/2 (sqrt 2)) 16)) (/ (* 1/2 (sqrt 2)) 16)))
1.1s
(* (* (* (* (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v))) (* (* (sqrt (fma (* v v) -3 1)) (sqrt (fma (* v v) -3 1))) (sqrt (fma (* v v) -3 1)))) (* (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v))) (* (* (sqrt (fma (* v v) -3 1)) (sqrt (fma (* v v) -3 1))) (sqrt (fma (* v v) -3 1))))) (* (* (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1))) (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1)))) (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1))))) (* (* (/ (* 1/2 (sqrt 2)) 16) (/ (* 1/2 (sqrt 2)) 16)) (/ (* 1/2 (sqrt 2)) 16)))
1.1s
(* (* (* (* (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v))) (* (* (sqrt (fma (* v v) -3 1)) (sqrt (fma (* v v) -3 1))) (sqrt (fma (* v v) -3 1)))) (* (* (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1))) (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1)))) (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1))))) (* (* (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1))) (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1)))) (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1))))) (* (* (/ (* 1/2 (sqrt 2)) 16) (/ (* 1/2 (sqrt 2)) 16)) (/ (* 1/2 (sqrt 2)) 16)))

prune3.3s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes51.0ms

Accuracy

0% (0.0b remaining)

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

bsearch3.0ms

end0.0ms

sample3.0s

Algorithm
intervals
Results
1.6s8122×body80nan
1.2s8000×body80valid