Details

Time bar (total: 3.5m)

sample93.0ms

Algorithm
intervals
Results
38.0ms251×body80nan
37.0ms256×body80valid

simplify198.0ms

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

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize54.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 3 (* v v))
0.0b
(sqrt (- 1 (* 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)))

rewrite166.0ms

Algorithm
rewrite-expression-head
Rules
43×add-sqr-sqrt
26×associate-*l*
25×*-un-lft-identity
24×add-cube-cbrt
23×add-cbrt-cube add-exp-log
22×times-frac
20×sqrt-prod
18×frac-times sqrt-div
17×pow1
15×flip3-- flip--
12×associate-*r*
10×prod-exp associate-*r/ cbrt-unprod
9×associate-*l/
7×pow-prod-down unswap-sqr
6×prod-diff
5×distribute-rgt-in distribute-lft-in
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×*-commutative
2×cbrt-undiv sub-neg div-exp difference-of-squares
1×rem-sqrt-square sqrt-pow1 pow1/2 div-inv
Counts
4 → 147
Calls
4 calls:
Slowest
91.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
34.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
28.0ms
(* 3 (* v v))
10.0ms
(sqrt (- 1 (* 3 (* v v))))

series644.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
297.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
216.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
89.0ms
(sqrt (- 1 (* 3 (* v v))))
42.0ms
(* 3 (* v v))

simplify19.5s

Counts
131 → 159
Calls
131 calls:
Slowest
867.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))))))
659.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)))))) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v))))
455.0ms
(* (* (sqrt 2) (sqrt (- 1 (* 3 (* v v))))) (- (pow 1 3) (pow (* v v) 3)))
454.0ms
(* (* 4 (sqrt (+ 1 (* 3 (* v v))))) (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))))
439.0ms
(sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v)))))

prune1.6s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize36.0ms

Local error

Found 4 expressions with local error:

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

rewrite381.0ms

Algorithm
rewrite-expression-head
Rules
1046×sqrt-div
865×frac-times
433×flip3-- flip--
305×associate-*l/ associate-*r/
142×pow1
77×pow-prod-down
61×sqrt-pow1
17×pow-prod-up
16×add-sqr-sqrt add-cbrt-cube add-exp-log
13×pow1/2
11×*-un-lft-identity pow-sqr add-cube-cbrt
10×associate-*l*
7×prod-exp sqrt-prod cbrt-unprod
6×associate-*r*
4×expm1-log1p-u swap-sqr insert-posit16 log1p-expm1-u add-log-exp
3×*-commutative unswap-sqr
1×pow2 rem-sqrt-square rem-square-sqrt pow-plus sqrt-unprod
Counts
4 → 454
Calls
4 calls:
Slowest
303.0ms
(* (sqrt (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))) (sqrt (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))))
16.0ms
(* 3 (* v v))
13.0ms
(* 3 (* v v))
5.0ms
(sqrt (- 1 (* 3 (* v v))))

series535.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
364.0ms
(* (sqrt (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))) (sqrt (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))))
75.0ms
(sqrt (- 1 (* 3 (* v v))))
48.0ms
(* 3 (* v v))
47.0ms
(* 3 (* v v))

simplify2.9m

Counts
750 → 466
Calls
750 calls:
Slowest
884.0ms
(* (sqrt (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))) (sqrt (+ 1 (* v v))))
699.0ms
(* (sqrt (* (* 4 (sqrt (+ 1 (* 3 (* v v))))) (+ 1 (* v v)))) (sqrt (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v))))))
677.0ms
(* (sqrt (* 4 (+ 1 (* v v)))) (sqrt (* (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))) (+ 1 (* v v)))))
629.0ms
(* (sqrt (* (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))) (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))))) (sqrt (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))))
623.0ms
(* (sqrt (* (* (sqrt 2) (sqrt (- 1 (* 3 (* v v))))) (- (* 1 1) (* (* v v) (* v v))))) (sqrt (* (* (sqrt 2) (sqrt (- 1 (* 3 (* v v))))) (- (pow 1 3) (pow (* v v) 3)))))

prune9.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

bsearch5.0ms

end0.0ms

sample3.0s

Algorithm
intervals
Results
1.6s8000×body80valid
1.2s8062×body80nan