Details

Time bar (total: 33.2s)

sample109.0ms

Algorithm
intervals
Results
52.0ms270×body80nan
38.0ms256×body80valid

simplify1.9s

Counts
1 → 1

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize62.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ (/ (/ (fma -5 (* v v) 1) (* PI (- 1 (* v v)))) t) (sqrt (fma (* -6 v) v 2)))
0.4b
(/ (/ (fma -5 (* v v) 1) (* PI (- 1 (* v v)))) t)
0.0b
(* PI (- 1 (* v v)))
0.0b
(/ (fma -5 (* v v) 1) (* PI (- 1 (* v v))))

rewrite100.0ms

Algorithm
rewrite-expression-head
Rules
480×times-frac
207×add-sqr-sqrt
205×*-un-lft-identity
204×add-cube-cbrt
96×sqrt-prod
54×associate-*r/
52×associate-/r/
43×associate-/l*
35×div-inv
34×add-cbrt-cube add-exp-log
27×flip3-- flip--
16×cbrt-undiv div-exp
10×associate-/r*
6×pow1 prod-diff
5×distribute-rgt-in distribute-lft-in associate-*r*
4×expm1-log1p-u prod-exp cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg associate-*l*
2×sub-neg difference-of-squares associate-/l/
1×pow-prod-down *-commutative unswap-sqr
Counts
4 → 365
Calls
4 calls:
Slowest
34.0ms
(/ (/ (/ (fma -5 (* v v) 1) (* PI (- 1 (* v v)))) t) (sqrt (fma (* -6 v) v 2)))
18.0ms
(* PI (- 1 (* v v)))
17.0ms
(/ (fma -5 (* v v) 1) (* PI (- 1 (* v v))))
16.0ms
(/ (/ (fma -5 (* v v) 1) (* PI (- 1 (* v v)))) t)

series972.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
553.0ms
(/ (/ (/ (fma -5 (* v v) 1) (* PI (- 1 (* v v)))) t) (sqrt (fma (* -6 v) v 2)))
177.0ms
(/ (fma -5 (* v v) 1) (* PI (- 1 (* v v))))
146.0ms
(/ (/ (fma -5 (* v v) 1) (* PI (- 1 (* v v)))) t)
95.0ms
(* PI (- 1 (* v v)))

simplify1.1s

Counts
377 → 377

prune5.1s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize45.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (sqrt (fma (* -6 v) v 2)) t)
0.4b
(/ (/ (fma -5 (* v v) 1) (* PI (- 1 (* v v)))) (* (sqrt (fma (* -6 v) v 2)) t))
0.0b
(* PI (- 1 (* v v)))
0.0b
(/ (fma -5 (* v v) 1) (* PI (- 1 (* v v))))

rewrite91.0ms

Algorithm
rewrite-expression-head
Rules
34×add-cbrt-cube add-exp-log
24×add-sqr-sqrt
18×*-un-lft-identity times-frac
17×add-cube-cbrt
12×cbrt-undiv div-exp associate-/l*
9×associate-*l*
8×pow1 associate-*r* prod-exp associate-*r/ cbrt-unprod
6×prod-diff associate-/r/
5×distribute-rgt-in distribute-lft-in
4×expm1-log1p-u flip3-- sqrt-prod insert-posit16 log1p-expm1-u div-inv flip-- add-log-exp
3×unswap-sqr
2×clear-num associate-/r* sub-neg frac-2neg pow-prod-down *-commutative difference-of-squares
1×associate-/l/
Counts
4 → 131
Calls
4 calls:
Slowest
27.0ms
(* PI (- 1 (* v v)))
27.0ms
(/ (/ (fma -5 (* v v) 1) (* PI (- 1 (* v v)))) (* (sqrt (fma (* -6 v) v 2)) t))
17.0ms
(* (sqrt (fma (* -6 v) v 2)) t)
17.0ms
(/ (fma -5 (* v v) 1) (* PI (- 1 (* v v))))

series1.0s

Counts
4 → 12
Calls
4 calls:
Slowest
506.0ms
(/ (/ (fma -5 (* v v) 1) (* PI (- 1 (* v v)))) (* (sqrt (fma (* -6 v) v 2)) t))
218.0ms
(* (sqrt (fma (* -6 v) v 2)) t)
193.0ms
(/ (fma -5 (* v v) 1) (* PI (- 1 (* v v))))
105.0ms
(* PI (- 1 (* v v)))

simplify1.2s

Counts
143 → 143

prune1.7s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (/ (/ (fma -5 (* v v) 1) (* PI (- 1 (* v v)))) (sqrt (fma (* -6 v) v 2))) t)
0.0b
(* PI (- 1 (* v v)))
0.0b
(/ (fma -5 (* v v) 1) (* PI (- 1 (* v v))))
0.0b
(/ (/ (fma -5 (* v v) 1) (* PI (- 1 (* v v)))) (sqrt (fma (* -6 v) v 2)))

rewrite108.0ms

Algorithm
rewrite-expression-head
Rules
540×times-frac
230×add-sqr-sqrt
228×*-un-lft-identity
227×add-cube-cbrt
138×sqrt-prod
70×associate-/l*
66×associate-*r/
64×associate-/r/
38×div-inv
34×add-cbrt-cube add-exp-log
33×flip3-- flip--
16×cbrt-undiv div-exp
10×associate-/r*
6×pow1 prod-diff
5×distribute-rgt-in distribute-lft-in associate-*r*
4×expm1-log1p-u prod-exp cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg associate-*l*
2×sub-neg difference-of-squares associate-/l/
1×pow-prod-down *-commutative unswap-sqr
Counts
4 → 407
Calls
4 calls:
Slowest
38.0ms
(/ (/ (/ (fma -5 (* v v) 1) (* PI (- 1 (* v v)))) (sqrt (fma (* -6 v) v 2))) t)
30.0ms
(/ (/ (fma -5 (* v v) 1) (* PI (- 1 (* v v)))) (sqrt (fma (* -6 v) v 2)))
14.0ms
(* PI (- 1 (* v v)))
9.0ms
(/ (fma -5 (* v v) 1) (* PI (- 1 (* v v))))

series1.3s

Counts
4 → 12
Calls
4 calls:
Slowest
566.0ms
(/ (/ (fma -5 (* v v) 1) (* PI (- 1 (* v v)))) (sqrt (fma (* -6 v) v 2)))
484.0ms
(/ (/ (/ (fma -5 (* v v) 1) (* PI (- 1 (* v v)))) (sqrt (fma (* -6 v) v 2))) t)
136.0ms
(/ (fma -5 (* v v) 1) (* PI (- 1 (* v v))))
72.0ms
(* PI (- 1 (* v v)))

simplify1.3s

Counts
419 → 419

prune6.3s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize81.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ (/ (fma -5 (* v v) 1) (* PI (- (* 1 1) (* (* v v) (* v v))))) (/ (* (sqrt (fma (* -6 v) v 2)) t) (+ 1 (* v v))))
0.4b
(* (sqrt (fma (* -6 v) v 2)) t)
0.1b
(* (* v v) (* v v))
0.0b
(/ (* (sqrt (fma (* -6 v) v 2)) t) (+ 1 (* v v)))

rewrite174.0ms

Algorithm
rewrite-expression-head
Rules
144×times-frac
117×pow1
59×add-cbrt-cube add-exp-log
53×add-sqr-sqrt
49×*-un-lft-identity add-cube-cbrt
43×associate-/r/
36×pow-prod-up
24×pow-prod-down
23×cbrt-undiv div-exp
22×pow-sqr div-inv
20×associate-*r/
18×pow-plus
16×prod-exp cbrt-unprod
13×pow2
12×associate-/r*
11×flip3-+ flip-+
10×flip3-- flip-- associate-/l*
7×associate-*l*
4×expm1-log1p-u associate-*r* sqrt-prod insert-posit16 log1p-expm1-u add-log-exp
3×unswap-sqr
2×clear-num frac-2neg *-commutative
1×swap-sqr associate-/l/
Counts
4 → 249
Calls
4 calls:
Slowest
87.0ms
(/ (/ (fma -5 (* v v) 1) (* PI (- (* 1 1) (* (* v v) (* v v))))) (/ (* (sqrt (fma (* -6 v) v 2)) t) (+ 1 (* v v))))
44.0ms
(* (* v v) (* v v))
27.0ms
(/ (* (sqrt (fma (* -6 v) v 2)) t) (+ 1 (* v v)))
7.0ms
(* (sqrt (fma (* -6 v) v 2)) t)

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
489.0ms
(/ (/ (fma -5 (* v v) 1) (* PI (- (* 1 1) (* (* v v) (* v v))))) (/ (* (sqrt (fma (* -6 v) v 2)) t) (+ 1 (* v v))))
329.0ms
(/ (* (sqrt (fma (* -6 v) v 2)) t) (+ 1 (* v v)))
231.0ms
(* (sqrt (fma (* -6 v) v 2)) t)
39.0ms
(* (* v v) (* v v))

simplify1.1s

Counts
261 → 261

prune4.1s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes110.0ms

Accuracy

0% (0.1b remaining)

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

bsearch4.0ms

end0.0ms

sample4.0s

Algorithm
intervals
Results
2.1s8000×body80valid
1.5s7987×body80nan