Details

Time bar (total: 4.8m)

sample88.0ms

Algorithm
intervals
Results
40.0ms284×body80nan
31.0ms256×body80valid

simplify173.0ms

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

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize33.0ms

Local error

Found 4 expressions with local error:

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

rewrite115.0ms

Algorithm
rewrite-expression-head
Rules
474×times-frac
298×add-sqr-sqrt
266×*-un-lft-identity
222×add-cube-cbrt
141×sqrt-prod
131×associate-*l*
88×difference-of-squares
30×associate-/r/
26×associate-/r*
20×add-cbrt-cube add-exp-log
16×div-inv
15×flip3-- flip--
10×unswap-sqr
9×associate-/l*
7×cbrt-undiv div-exp
6×pow1 associate-*r* add-log-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×fma-neg prod-diff prod-exp cbrt-unprod
2×clear-num frac-2neg
1×sub-neg diff-log pow-prod-down associate-*l/ *-commutative
Counts
4 → 400
Calls
4 calls:
Slowest
48.0ms
(* (/ (sqrt 2) (/ 4 (- 1 (* v v)))) (sqrt (fma (* v v) -3 1)))
20.0ms
(/ (sqrt 2) (/ 4 (- 1 (* v v))))
15.0ms
(/ 4 (- 1 (* v v)))
10.0ms
(- 1 (* v v))

series615.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
303.0ms
(* (/ (sqrt 2) (/ 4 (- 1 (* v v)))) (sqrt (fma (* v v) -3 1)))
194.0ms
(/ (sqrt 2) (/ 4 (- 1 (* v v))))
75.0ms
(- 1 (* v v))
43.0ms
(/ 4 (- 1 (* v v)))

simplify1.0m

Counts
513 → 412
Calls
513 calls:
Slowest
592.0ms
(/ (* (* (sqrt 2) (sqrt 2)) (sqrt 2)) (/ (* (* 4 4) 4) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v)))))
591.0ms
(/ (sqrt 2) (/ 4 (- 1 (* v v))))
450.0ms
(/ (* (* (sqrt 2) (sqrt 2)) (sqrt 2)) (* (* (/ 4 (- 1 (* v v))) (/ 4 (- 1 (* v v)))) (/ 4 (- 1 (* v v)))))
448.0ms
(/ (sqrt 1) (/ 4 (- (* 1 1) (* (* v v) (* v v)))))
444.0ms
(/ (* (cbrt (sqrt 2)) (cbrt (sqrt 2))) (/ (* (cbrt 4) (cbrt 4)) (+ 1 v)))

prune4.5s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize67.0ms

Local error

Found 4 expressions with local error:

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

rewrite186.0ms

Algorithm
rewrite-expression-head
Rules
1761×times-frac
1090×add-sqr-sqrt
896×*-un-lft-identity
749×add-cube-cbrt
512×sqrt-prod
294×difference-of-squares
173×swap-sqr
131×associate-*r* associate-*l*
105×associate-/r/
63×associate-/r*
56×div-inv
55×add-cbrt-cube add-exp-log
49×flip3-- flip--
27×cbrt-undiv div-exp
25×unswap-sqr
18×associate-/l*
11×pow1
9×prod-exp cbrt-unprod
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg
1×pow2 frac-times pow-plus pow-prod-down associate-*l/ associate-*r/ pow-sqr *-commutative pow-prod-up
Counts
4 → 1010
Calls
4 calls:
Slowest
58.0ms
(* (/ (sqrt 2) (/ 4 (- 1 (* v v)))) (/ (sqrt 2) (/ 4 (- 1 (* v v)))))
26.0ms
(/ (sqrt 2) (/ 4 (- 1 (* v v))))
21.0ms
(/ (sqrt 2) (/ 4 (- 1 (* v v))))
18.0ms
(/ (sqrt 2) (/ 4 (- 1 (* v v))))

series724.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
184.0ms
(/ (sqrt 2) (/ 4 (- 1 (* v v))))
183.0ms
(* (/ (sqrt 2) (/ 4 (- 1 (* v v)))) (/ (sqrt 2) (/ 4 (- 1 (* v v)))))
179.0ms
(/ (sqrt 2) (/ 4 (- 1 (* v v))))
177.0ms
(/ (sqrt 2) (/ 4 (- 1 (* v v))))

simplify3.5m

Counts
1546 → 1022
Calls
1546 calls:
Slowest
1.0s
(* (/ (sqrt 1) (/ (* (cbrt 4) (cbrt 4)) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))))) (/ (sqrt 1) (/ (* (cbrt 4) (cbrt 4)) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))))))
985.0ms
(* (/ (sqrt (sqrt 2)) (/ 1 (- 1 (* v v)))) (/ (sqrt (sqrt 2)) (/ 1 (- 1 (* v v)))))
939.0ms
(* (/ (* (cbrt (sqrt 2)) (cbrt (sqrt 2))) (/ (* (cbrt 4) (cbrt 4)) (sqrt (- 1 (* v v))))) (/ (* (cbrt (sqrt 2)) (cbrt (sqrt 2))) (/ (* (cbrt 4) (cbrt 4)) (sqrt (- 1 (* v v))))))
882.0ms
(* (/ (cbrt (sqrt 2)) (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v))))) (/ (cbrt (sqrt 2)) (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v))))))
864.0ms
(* (/ (sqrt (sqrt 2)) (/ (* (cbrt 4) (cbrt 4)) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))))) (/ (sqrt (sqrt 2)) (/ (* (cbrt 4) (cbrt 4)) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))))))

prune9.4s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes31.0ms

Accuracy

0% (0.0b remaining)

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

bsearch2.0ms

end0.0ms

sample1.9s

Algorithm
intervals
Results
986.0ms8000×body80valid
773.0ms8138×body80nan