Details

Time bar (total: 20.5s)

sample69.0ms

Algorithm
intervals
Results
32.0ms256×body80valid
23.0ms260×body80nan

simplify176.0ms

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

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

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

rewrite45.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×*-commutative sqrt-prod insert-posit16 add-log-exp
2×distribute-rgt-in sub-neg distribute-lft-in
1×div-inv
Calls
3 calls:
Slowest
29.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
12.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
2.0ms
(* 3 (* v v))

series593.0ms

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

simplify13.3s

Calls
69 calls:
Slowest
927.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))))))
674.0ms
(* (sqrt (+ 1 (* 3 (* v v)))) (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))))
476.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v)))
408.0ms
(* (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))) (+ 1 (* v v)))
391.0ms
(- (+ (* 1/4 (sqrt 2)) (* 3/32 (* (sqrt 2) (pow v 4)))) (* 5/8 (* (sqrt 2) (pow v 2))))

prune865.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize36.0ms

Local error

Found 4 expressions with local error:

0.1b
(* 3 (* v v))
0.1b
(* 3 (* v v))
0.1b
(* 3 (* v v))
0.1b
(* (* 3 (* v v)) (* 3 (* v v)))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1
6×add-cbrt-cube add-exp-log
4×add-sqr-sqrt *-un-lft-identity associate-*r* *-commutative add-cube-cbrt insert-posit16 add-log-exp
1×pow2 pow-plus associate-*l* pow-prod-down prod-exp pow-prod-up cbrt-unprod
Calls
4 calls:
Slowest
10.0ms
(* (* 3 (* v v)) (* 3 (* v v)))
1.0ms
(* 3 (* v v))
1.0ms
(* 3 (* v v))
1.0ms
(* 3 (* v v))

series209.0ms

Calls
4 calls:
Slowest
56.0ms
(* 3 (* v v))
55.0ms
(* (* 3 (* v v)) (* 3 (* v v)))
50.0ms
(* 3 (* v v))
49.0ms
(* 3 (* v v))

simplify1.1s

Calls
19 calls:
Slowest
776.0ms
(* (* (* (* 3 (* v v)) (* 3 (* v v))) (* 3 (* v v))) (* (* (* 3 (* v v)) (* 3 (* v v))) (* 3 (* v v))))
83.0ms
(* (* 3 (* v v)) (* 3 (* v v)))
72.0ms
(+ (log (* 3 (* v v))) (log (* 3 (* v v))))
16.0ms
(* 3 (pow v 2))
15.0ms
(* 3 (pow v 2))

prune857.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes87.0ms

Accuracy

0% (0.0b remaining)

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

bsearch5.0ms

end0.0ms

sample3.1s

Algorithm
intervals
Results
1.6s8000×body80valid
1.2s8025×body80nan