Details

Time bar (total: 33.7s)

sample61.0ms

Algorithm
intervals
Results
28.0ms239×body80nan
21.0ms256×body80valid

simplify176.0ms

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

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt
8×*-un-lft-identity add-cube-cbrt
7×associate-*r*
6×pow1 add-cbrt-cube sqrt-div add-exp-log sqrt-prod
4×flip3-- associate-*l* insert-posit16 flip-- add-log-exp
2×frac-times associate-*r/ *-commutative
1×rem-sqrt-square sub-neg pow1/2 pow-prod-down associate-*l/ prod-exp cbrt-unprod div-inv
Calls
4 calls:
Slowest
7.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
1.0ms
(* 3 (* v v))
1.0ms
(- 1 (* 3 (* v v)))
1.0ms
(sqrt (- 1 (* 3 (* v v))))

series144.0ms

Calls
4 calls:
Slowest
72.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
36.0ms
(- 1 (* 3 (* v v)))
24.0ms
(sqrt (- 1 (* 3 (* v v))))
11.0ms
(* 3 (* v v))

simplify4.5s

Calls
37 calls:
Slowest
865.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))))))
327.0ms
(* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))
326.0ms
(sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v)))))
297.0ms
(* (sqrt 2) (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v))))))
295.0ms
(sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))

prune732.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.1b
(* 3 (* v v))
0.0b
(* (/ (sqrt 2) 4) (log (exp (sqrt (- 1 (* 3 (* v v)))))))
0.0b
(log (exp (sqrt (- 1 (* 3 (* v v))))))
0.0b
(* (* (/ (sqrt 2) 4) (log (exp (sqrt (- 1 (* 3 (* v v))))))) (- 1 (* v v)))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt *-un-lft-identity associate-*r* log-pow add-cube-cbrt
13×pow1
12×exp-prod
11×add-cbrt-cube add-exp-log
9×log-prod
6×sqrt-prod
5×distribute-rgt-in distribute-lft-in associate-*l* associate-*l/
4×pow-prod-down prod-exp cbrt-unprod insert-posit16 add-log-exp
3×*-commutative
2×frac-times sub-neg flip3-- associate-*r/ flip--
1×rem-log-exp div-inv
Calls
4 calls:
Slowest
19.0ms
(* (* (/ (sqrt 2) 4) (log (exp (sqrt (- 1 (* 3 (* v v))))))) (- 1 (* v v)))
10.0ms
(* (/ (sqrt 2) 4) (log (exp (sqrt (- 1 (* 3 (* v v)))))))
3.0ms
(log (exp (sqrt (- 1 (* 3 (* v v))))))
1.0ms
(* 3 (* v v))

series203.0ms

Calls
4 calls:
Slowest
94.0ms
(* (* (/ (sqrt 2) 4) (log (exp (sqrt (- 1 (* 3 (* v v))))))) (- 1 (* v v)))
64.0ms
(* (/ (sqrt 2) 4) (log (exp (sqrt (- 1 (* 3 (* v v)))))))
34.0ms
(log (exp (sqrt (- 1 (* 3 (* v v))))))
11.0ms
(* 3 (* v v))

simplify8.0s

Calls
66 calls:
Slowest
637.0ms
(* (* (* (/ (sqrt 2) 4) (/ (sqrt 2) 4)) (/ (sqrt 2) 4)) (* (* (log (exp (sqrt (- 1 (* 3 (* v v)))))) (log (exp (sqrt (- 1 (* 3 (* v v))))))) (log (exp (sqrt (- 1 (* 3 (* v v))))))))
544.0ms
(- (+ (* 1/4 (sqrt 2)) (* 3/32 (* (sqrt 2) (pow v 4)))) (* 5/8 (* (sqrt 2) (pow v 2))))
420.0ms
(* (* (/ (sqrt 2) 4) (log (exp (sqrt (- 1 (* 3 (* v v))))))) (- 1 (* v v)))
357.0ms
(* (* (/ (sqrt 2) 4) (log (exp (sqrt (- 1 (* 3 (* v v))))))) (- 1 (* v v)))
350.0ms
(- (* 1/8 (/ 1 (* (pow (sqrt -3) 3) (pow v 3)))) (+ (* 1/2 (/ 1 (* (sqrt -3) v))) (* (sqrt -3) v)))

prune1.1s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite67.0ms

Algorithm
rewrite-expression-head
Rules
72×sqrt-div
20×frac-times
18×flip3-- sqrt-prod flip--
14×pow1 associate-*r/
13×associate-*l*
12×associate-*r*
11×add-sqr-sqrt *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
7×associate-*l/
5×pow-prod-down
4×pow1/2 prod-exp *-commutative cbrt-unprod insert-posit16 add-log-exp
2×pow-prod-up
1×pow2 rem-square-sqrt pow-plus sqrt-unprod div-inv
Calls
4 calls:
Slowest
43.0ms
(* (/ (sqrt 2) 4) (* (sqrt (sqrt (- 1 (* 3 (* v v))))) (sqrt (sqrt (- 1 (* 3 (* v v)))))))
16.0ms
(* (sqrt (sqrt (- 1 (* 3 (* v v))))) (sqrt (sqrt (- 1 (* 3 (* v v))))))
2.0ms
(* 3 (* v v))
2.0ms
(* 3 (* v v))

series175.0ms

Calls
4 calls:
Slowest
95.0ms
(* (/ (sqrt 2) 4) (* (sqrt (sqrt (- 1 (* 3 (* v v))))) (sqrt (sqrt (- 1 (* 3 (* v v)))))))
44.0ms
(* (sqrt (sqrt (- 1 (* 3 (* v v))))) (sqrt (sqrt (- 1 (* 3 (* v v))))))
19.0ms
(* 3 (* v v))
18.0ms
(* 3 (* v v))

simplify13.9s

Calls
87 calls:
Slowest
451.0ms
(* (sqrt 2) (* (sqrt (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v)))))) (sqrt (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3))))))
447.0ms
(* (sqrt (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))) (sqrt (sqrt (+ 1 (* 3 (* v v))))))
430.0ms
(* (sqrt (sqrt (- 1 (* 3 (* v v))))) (sqrt (sqrt (- 1 (* 3 (* v v))))))
416.0ms
(* (sqrt 2) (* (sqrt (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v)))))) (sqrt (sqrt (- 1 (* 3 (* v v)))))))
395.0ms
(* (sqrt 2) (* (sqrt (sqrt (- 1 (* 3 (* v v))))) (sqrt (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3))))))

prune1.4s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes41.0ms

Accuracy

0% (0.0b remaining)

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

bsearch6.0ms

end0.0ms

sample3.1s

Algorithm
intervals
Results
1.7s7930×body80nan
1.2s8000×body80valid