Details

Time bar (total: 36.5s)

sample97.0ms

Algorithm
intervals
Results
41.0ms256×body80valid
37.0ms230×body80nan

simplify171.0ms

Calls
1 calls:
Slowest
171.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

localize25.0ms

Local error

Found 3 expressions with local error:

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

rewrite99.0ms

Algorithm
rewrite-expression-head
Rules
38×add-sqr-sqrt
26×associate-*l*
22×times-frac add-cbrt-cube add-exp-log
21×*-un-lft-identity
20×add-cube-cbrt
18×frac-times
17×sqrt-prod
16×sqrt-div
15×pow1
14×flip3-- flip--
12×associate-*r*
10×prod-exp associate-*r/ cbrt-unprod
9×associate-*l/
7×pow-prod-down unswap-sqr
3×*-commutative insert-posit16 add-log-exp
2×distribute-rgt-in cbrt-undiv sub-neg distribute-lft-in div-exp difference-of-squares
1×div-inv
Calls
3 calls:
Slowest
57.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
26.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
13.0ms
(* 3 (* v v))

series585.0ms

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

simplify15.1s

Calls
115 calls:
Slowest
829.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))))))
456.0ms
(sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))
418.0ms
(* (* (sqrt 2) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
413.0ms
(- (* 1/4 (sqrt 2)) (+ (* 9/32 (* (sqrt 2) (pow v 4))) (* 3/8 (* (sqrt 2) (pow v 2)))))
412.0ms
(* (sqrt 2) (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v))))))

prune1.3s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize44.0ms

Local error

Found 4 expressions with local error:

2.5b
(log (- 1 (* v v)))
0.2b
(* 3 (* v v))
0.0b
(exp (+ (log (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))) (log (- 1 (* v v)))))
0.0b
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))

rewrite199.0ms

Algorithm
rewrite-expression-head
Rules
40×add-sqr-sqrt
28×*-un-lft-identity
25×associate-*l*
22×times-frac add-cube-cbrt
21×pow1
17×sqrt-prod
15×add-exp-log
14×add-cbrt-cube
9×log-div exp-prod
8×sqrt-div log-pow
7×exp-diff associate-*r* unswap-sqr
6×flip3-- pow-prod-down flip-- distribute-lft-out
5×log-prod prod-exp associate-+l- cbrt-unprod add-log-exp
4×frac-times associate-*r/ insert-posit16
2×associate-+r- associate-*l/ *-commutative difference-of-squares rem-exp-log
1×cbrt-undiv sum-log div-exp rem-log-exp exp-sum div-inv
Calls
4 calls:
Slowest
150.0ms
(exp (+ (log (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))) (log (- 1 (* v v)))))
22.0ms
(* 3 (* v v))
18.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
6.0ms
(log (- 1 (* v v)))

series1.3s

Calls
4 calls:
Slowest
865.0ms
(exp (+ (log (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))) (log (- 1 (* v v)))))
251.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
119.0ms
(log (- 1 (* v v)))
28.0ms
(* 3 (* v v))

simplify12.9s

Calls
100 calls:
Slowest
848.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))))))
749.0ms
(exp (log (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3))))))
611.0ms
(- (+ (exp (- (+ (log (* 1/4 (* (sqrt 2) (sqrt -3)))) (log -1)) (* 3 (log (/ 1 v))))) (* 1/2 (/ (exp (- (+ (log (* 1/4 (* (sqrt 2) (sqrt -3)))) (log -1)) (* 3 (log (/ 1 v))))) (* (pow (sqrt -3) 2) (pow v 2))))) (+ (* 1/2 (/ (exp (- (+ (log (* 1/4 (* (sqrt 2) (sqrt -3)))) (log -1)) (* 3 (log (/ 1 v))))) (* (pow (sqrt -3) 2) (pow v 4)))) (+ (* 1/8 (/ (exp (- (+ (log (* 1/4 (* (sqrt 2) (sqrt -3)))) (log -1)) (* 3 (log (/ 1 v))))) (* (pow (sqrt -3) 4) (pow v 4)))) (/ (exp (- (+ (log (* 1/4 (* (sqrt 2) (sqrt -3)))) (log -1)) (* 3 (log (/ 1 v))))) (pow v 2)))))
554.0ms
(- (+ (* 1/2 (/ (exp (- (+ (log (* 1/4 (* (sqrt 2) (sqrt -3)))) (log -1)) (* 3 (log (/ -1 v))))) (* (pow (sqrt -3) 2) (pow v 2)))) (exp (- (+ (log (* 1/4 (* (sqrt 2) (sqrt -3)))) (log -1)) (* 3 (log (/ -1 v)))))) (+ (* 1/2 (/ (exp (- (+ (log (* 1/4 (* (sqrt 2) (sqrt -3)))) (log -1)) (* 3 (log (/ -1 v))))) (* (pow (sqrt -3) 2) (pow v 4)))) (+ (/ (exp (- (+ (log (* 1/4 (* (sqrt 2) (sqrt -3)))) (log -1)) (* 3 (log (/ -1 v))))) (pow v 2)) (* 1/8 (/ (exp (- (+ (log (* 1/4 (* (sqrt 2) (sqrt -3)))) (log -1)) (* 3 (log (/ -1 v))))) (* (pow (sqrt -3) 4) (pow v 4)))))))
539.0ms
(exp (+ (log (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))) (log (- (* 1 1) (* (* v v) (* v v))))))

prune1.6s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes75.0ms

Accuracy

0% (0.0b remaining)

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

bsearch7.0ms

end0.0ms

sample3.0s

Algorithm
intervals
Results
1.6s8163×body80nan
1.2s8000×body80valid