Details

Time bar (total: 48.9s)

sample99.0ms

Algorithm
intervals
Results
37.0ms256×body80valid
36.0ms244×body80nan

simplify1.7s

Counts
1 → 1

prune14.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize47.0ms

Local error

Found 4 expressions with local error:

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

rewrite98.0ms

Algorithm
rewrite-expression-head
Rules
308×times-frac
129×add-sqr-sqrt
127×*-un-lft-identity
126×add-cube-cbrt
60×sqrt-prod
38×add-cbrt-cube add-exp-log
35×associate-/l*
19×div-inv
18×cbrt-undiv div-exp associate-*r/
16×associate-/r/
10×associate-/r*
9×flip3-- flip--
6×pow1 prod-diff
5×distribute-rgt-in distribute-lft-in associate-*r* prod-exp cbrt-unprod
4×expm1-log1p-u 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 → 279
Calls
4 calls:
Slowest
40.0ms
(/ (/ (/ (fma -5 (* v v) 1) PI) (* t (- 1 (* v v)))) (sqrt (fma -6 (* v v) 2)))
29.0ms
(* t (- 1 (* v v)))
12.0ms
(/ (/ (fma -5 (* v v) 1) PI) (* t (- 1 (* v v))))
7.0ms
(/ (fma -5 (* v v) 1) PI)

series891.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
520.0ms
(/ (/ (/ (fma -5 (* v v) 1) PI) (* t (- 1 (* v v)))) (sqrt (fma -6 (* v v) 2)))
183.0ms
(/ (/ (fma -5 (* v v) 1) PI) (* t (- 1 (* v v))))
109.0ms
(/ (fma -5 (* v v) 1) PI)
79.0ms
(* t (- 1 (* v v)))

simplify2.3s

Counts
291 → 291

prune3.6s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize39.0ms

Local error

Found 4 expressions with local error:

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

rewrite93.0ms

Algorithm
rewrite-expression-head
Rules
102×times-frac
99×add-exp-log
74×add-sqr-sqrt
64×*-un-lft-identity
62×add-cube-cbrt
61×add-cbrt-cube
43×div-exp
30×prod-exp
25×cbrt-undiv
23×sqrt-prod
22×associate-*r*
19×associate-*l* associate-/l*
16×cbrt-unprod
10×associate-/r*
8×pow1 div-inv
6×rec-exp 1-exp
5×associate-*r/ unswap-sqr
4×expm1-log1p-u associate-/r/ insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg pow-flip
2×flip3-- flip--
1×frac-times sqrt-pow1 pow1/2 pow-prod-down associate-*l/ un-div-inv *-commutative inv-pow associate-/l/
Counts
4 → 221
Calls
4 calls:
Slowest
50.0ms
(* (/ (/ (fma -5 (* v v) 1) PI) (* t (- 1 (* v v)))) (/ 1 (sqrt (fma -6 (* v v) 2))))
25.0ms
(/ (/ (fma -5 (* v v) 1) PI) (* t (- 1 (* v v))))
10.0ms
(/ 1 (sqrt (fma -6 (* v v) 2)))
4.0ms
(/ (fma -5 (* v v) 1) PI)

series986.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
501.0ms
(* (/ (/ (fma -5 (* v v) 1) PI) (* t (- 1 (* v v)))) (/ 1 (sqrt (fma -6 (* v v) 2))))
184.0ms
(/ (/ (fma -5 (* v v) 1) PI) (* t (- 1 (* v v))))
164.0ms
(/ (fma -5 (* v v) 1) PI)
137.0ms
(/ 1 (sqrt (fma -6 (* v v) 2)))

simplify1.5s

Counts
233 → 233

prune2.8s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize40.0ms

Local error

Found 4 expressions with local error:

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

rewrite163.0ms

Algorithm
rewrite-expression-head
Rules
2469×times-frac
1267×add-sqr-sqrt
1189×*-un-lft-identity
999×add-cube-cbrt
438×sqrt-prod
430×associate-*r*
366×difference-of-squares
89×div-inv
87×associate-/l*
80×add-exp-log
52×add-cbrt-cube
42×div-exp
28×associate-/r/
26×cbrt-undiv
21×unswap-sqr
16×prod-exp
14×associate-/r* flip3-- flip--
13×associate-*l*
8×cbrt-unprod
6×pow1
4×expm1-log1p-u rec-exp 1-exp insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg
2×associate-/l/
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 1159
Calls
4 calls:
Slowest
72.0ms
(* (/ 1 t) (/ (/ (/ (fma -5 (* v v) 1) PI) (- 1 (* v v))) (sqrt (fma -6 (* v v) 2))))
30.0ms
(/ (/ (/ (fma -5 (* v v) 1) PI) (- 1 (* v v))) (sqrt (fma -6 (* v v) 2)))
16.0ms
(/ (/ (fma -5 (* v v) 1) PI) (- 1 (* v v)))
4.0ms
(/ (fma -5 (* v v) 1) PI)

series1.3s

Counts
4 → 12
Calls
4 calls:
Slowest
548.0ms
(/ (/ (/ (fma -5 (* v v) 1) PI) (- 1 (* v v))) (sqrt (fma -6 (* v v) 2)))
463.0ms
(* (/ 1 t) (/ (/ (/ (fma -5 (* v v) 1) PI) (- 1 (* v v))) (sqrt (fma -6 (* v v) 2))))
149.0ms
(/ (/ (fma -5 (* v v) 1) PI) (- 1 (* v v)))
121.0ms
(/ (fma -5 (* v v) 1) PI)

simplify4.2s

Counts
1171 → 1171

prune17.0s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize45.0ms

Local error

Found 4 expressions with local error:

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

rewrite125.0ms

Algorithm
rewrite-expression-head
Rules
351×times-frac
324×add-exp-log
181×add-sqr-sqrt
180×div-exp
151×*-un-lft-identity
140×add-cube-cbrt
96×prod-exp
92×add-cbrt-cube
59×associate-*l*
46×cbrt-undiv
42×rec-exp 1-exp
37×associate-/r*
27×sqrt-prod
22×associate-*r*
21×div-inv
20×cbrt-unprod
15×unswap-sqr
11×pow1
10×associate-/r/
7×associate-/l*
6×pow-flip
4×expm1-log1p-u insert-posit16 log1p-expm1-u inv-pow add-log-exp
3×clear-num frac-2neg pow-prod-down associate-*r/
2×associate-/l/
1×frac-times sqrt-pow1 flip3-- pow1/2 associate-*l/ un-div-inv *-commutative flip--
Counts
4 → 400
Calls
4 calls:
Slowest
80.0ms
(* (/ 1 (/ (* t (- 1 (* v v))) (/ (fma -5 (* v v) 1) PI))) (/ 1 (sqrt (fma -6 (* v v) 2))))
17.0ms
(/ (* t (- 1 (* v v))) (/ (fma -5 (* v v) 1) PI))
15.0ms
(/ 1 (/ (* t (- 1 (* v v))) (/ (fma -5 (* v v) 1) PI)))
5.0ms
(/ 1 (sqrt (fma -6 (* v v) 2)))

series1.0s

Counts
4 → 12
Calls
4 calls:
Slowest
448.0ms
(* (/ 1 (/ (* t (- 1 (* v v))) (/ (fma -5 (* v v) 1) PI))) (/ 1 (sqrt (fma -6 (* v v) 2))))
223.0ms
(/ 1 (/ (* t (- 1 (* v v))) (/ (fma -5 (* v v) 1) PI)))
216.0ms
(/ (* t (- 1 (* v v))) (/ (fma -5 (* v v) 1) PI))
132.0ms
(/ 1 (sqrt (fma -6 (* v v) 2)))

simplify1.1s

Counts
412 → 412

prune5.8s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes167.0ms

Accuracy

0% (0.2b remaining)

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

bsearch2.0ms

end0.0ms

sample3.8s

Algorithm
intervals
Results
1.9s8130×body80nan
1.6s8000×body80valid