Details

Time bar (total: 35.0s)

sample83.0ms

Algorithm
intervals
Results
34.0ms260×body80nan
34.0ms256×body80valid

simplify232.0ms

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

prune14.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 3 expressions with local error:

0.1b
(* 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)))))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
18×frac-times
16×sqrt-div
14×flip3-- flip--
10×pow1 add-cbrt-cube associate-*r* associate-*r/ add-exp-log
9×associate-*l/
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
5×associate-*l*
4×pow-prod-down prod-exp cbrt-unprod
3×expm1-log1p-u *-commutative sqrt-prod insert-posit16 log1p-expm1-u add-log-exp
2×distribute-rgt-in sub-neg distribute-lft-in
1×div-inv
Calls
3 calls:
Slowest
17.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
7.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
2.0ms
(* 3 (* v v))

series541.0ms

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

simplify14.0s

Calls
69 calls:
Slowest
723.0ms
(* (sqrt (+ 1 (* 3 (* v v)))) (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))))
687.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))))))
563.0ms
(* (* 4 (sqrt (+ 1 (* 3 (* v v))))) (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))))
509.0ms
(* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- (* 1 1) (* (* v v) (* v v))))
484.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v)))))) (- (pow 1 3) (pow (* v v) 3)))

prune921.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize28.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)) (sqrt 2))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
11×pow1
8×add-cbrt-cube add-exp-log
7×add-sqr-sqrt *-un-lft-identity associate-*l* add-cube-cbrt
6×cube-unmult associate-*r*
4×expm1-log1p-u pow-prod-down *-commutative insert-posit16 log1p-expm1-u add-log-exp
3×sqrt-prod
2×pow1/2 prod-exp pow-prod-up cbrt-unprod
1×pow2 pow-plus sqrt-unprod
Calls
4 calls:
Slowest
13.0ms
(* (* v (* v v)) (* v (* v v)))
11.0ms
(* (sqrt (fma -3 (* v v) 1)) (sqrt 2))
1.0ms
(* v (* v v))
1.0ms
(* v (* v v))

series378.0ms

Calls
4 calls:
Slowest
164.0ms
(* (sqrt (fma -3 (* v v) 1)) (sqrt 2))
86.0ms
(* (* v (* v v)) (* v (* v v)))
68.0ms
(* v (* v v))
59.0ms
(* v (* v v))

simplify2.4s

Calls
34 calls:
Slowest
530.0ms
(* (* (* (* v (* v v)) (* v (* v v))) (* v (* v v))) (* (* (* v (* v v)) (* v (* v v))) (* v (* v v))))
438.0ms
(- (* 1/8 (/ (sqrt 2) (* (pow v 3) (pow (sqrt -3) 3)))) (+ (* (sqrt 2) (* v (sqrt -3))) (* 1/2 (/ (sqrt 2) (* v (sqrt -3))))))
417.0ms
(* (* (* (sqrt (fma -3 (* v v) 1)) (sqrt (fma -3 (* v v) 1))) (sqrt (fma -3 (* v v) 1))) (* (* (sqrt 2) (sqrt 2)) (sqrt 2)))
315.0ms
(- (sqrt 2) (+ (* 9/8 (* (sqrt 2) (pow v 4))) (* 3/2 (* (sqrt 2) (pow v 2)))))
153.0ms
(- (+ (* (sqrt 2) (* v (sqrt -3))) (* 1/2 (/ (sqrt 2) (* v (sqrt -3))))) (* 1/8 (/ (sqrt 2) (* (pow v 3) (pow (sqrt -3) 3)))))

prune1.1s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize19.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
(fma (* v v) (* v v) (* v v))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1
6×add-cbrt-cube cube-unmult add-exp-log
4×add-sqr-sqrt expm1-log1p-u *-un-lft-identity add-cube-cbrt insert-posit16 log1p-expm1-u add-log-exp
3×associate-*r* *-commutative
2×pow-prod-down pow-prod-up
1×pow2 pow-plus associate-*l* prod-exp cbrt-unprod fma-udef
Calls
4 calls:
Slowest
14.0ms
(* (* v (* v v)) (* v (* v v)))
2.0ms
(* v (* v v))
2.0ms
(* v (* v v))
0.0ms
(fma (* v v) (* v v) (* v v))

series369.0ms

Calls
4 calls:
Slowest
161.0ms
(fma (* v v) (* v v) (* v v))
76.0ms
(* (* v (* v v)) (* v (* v v)))
70.0ms
(* v (* v v))
62.0ms
(* v (* v v))

simplify830.0ms

Calls
21 calls:
Slowest
618.0ms
(* (* (* (* v (* v v)) (* v (* v v))) (* v (* v v))) (* (* (* v (* v v)) (* v (* v v))) (* v (* v v))))
70.0ms
(+ (log (* v (* v v))) (log (* v (* v v))))
39.0ms
(* (* v (* v v)) (* v (* v v)))
14.0ms
(+ (pow v 4) (pow v 2))
13.0ms
(+ (pow v 4) (pow v 2))

prune860.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize9.0ms

Local error

Found 4 expressions with local error:

0.1b
(* 3 (* v v))
0.0b
(* (expm1 (log1p (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))))) (- 1 (* v v)))
0.0b
(expm1 (log1p (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))))
0.0b
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
10×associate-*r*
9×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
8×pow1 add-cbrt-cube add-exp-log
7×associate-*l*
4×expm1-log1p-u sqrt-div associate-*r/ insert-posit16 log1p-expm1-u add-log-exp
3×flip3-- *-commutative sqrt-prod flip--
2×distribute-rgt-in frac-times sub-neg distribute-lft-in pow-prod-down prod-exp cbrt-unprod
1×expm1-log1p associate-*l/ div-inv expm1-udef
Calls
4 calls:
Slowest
10.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
5.0ms
(* (expm1 (log1p (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))))) (- 1 (* v v)))
1.0ms
(* 3 (* v v))
0.0ms
(expm1 (log1p (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))))

series1.6s

Calls
4 calls:
Slowest
718.0ms
(* (expm1 (log1p (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))))) (- 1 (* v v)))
626.0ms
(expm1 (log1p (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))))
246.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
28.0ms
(* 3 (* v v))

simplify7.4s

Calls
46 calls:
Slowest
914.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))))))
547.0ms
(* (expm1 (log1p (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))))) (- 1 (* v v)))
463.0ms
(* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))
408.0ms
(sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))
351.0ms
(- (+ (exp (- (log (* 1/4 (* (sqrt 2) (sqrt -3)))) (log (/ -1 v)))) (+ (* 4 (/ (* (exp (- (log (* 1/4 (* (sqrt 2) (sqrt -3)))) (log (/ -1 v)))) v) (* (sqrt 2) (sqrt -3)))) (pow v 2))) (+ (* 1/2 (/ (exp (- (log (* 1/4 (* (sqrt 2) (sqrt -3)))) (log (/ -1 v)))) (pow (sqrt -3) 2))) (+ 1 (* (exp (- (log (* 1/4 (* (sqrt 2) (sqrt -3)))) (log (/ -1 v)))) (pow v 2)))))

prune1.1s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes76.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.0s

Algorithm
intervals
Results
1.6s8000×body80valid
1.2s8025×body80nan