Details

Time bar (total: 25.9s)

sample69.0ms

Algorithm
intervals
Results
25.0ms256×body80valid
20.0ms214×body80nan

simplify1.9s

Counts
1 → 1
Iterations
IterNodes
done5000
3849
2162
146
019

prune14.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize49.0ms

Local error

Found 4 expressions with local error:

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

rewrite99.0ms

Algorithm
rewrite-expression-head
Rules
477×times-frac
238×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
59×associate-/l*
23×div-inv
20×add-cbrt-cube add-exp-log
10×cbrt-undiv div-exp
9×associate-/r*
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg
2×associate-/l/
1×fma-udef
Counts
4 → 309
Calls
4 calls:
0.0ms
(fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2)))
10.0ms
(/ (fma (* v v) -5 1) PI)
38.0ms
(/ (/ (fma (* v v) -5 1) PI) t)
25.0ms
(/ (/ (/ (fma (* v v) -5 1) PI) t) (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2))))

series1.3s

Counts
4 → 12
Calls
4 calls:
260.0ms
(fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2)))
115.0ms
(/ (fma (* v v) -5 1) PI)
99.0ms
(/ (/ (fma (* v v) -5 1) PI) t)
789.0ms
(/ (/ (/ (fma (* v v) -5 1) PI) t) (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2))))

simplify2.6s

Counts
321 → 321
Iterations
IterNodes
done5002
23603
11300
0569

prune2.5s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize64.0ms

Local error

Found 4 expressions with local error:

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

rewrite118.0ms

Algorithm
rewrite-expression-head
Rules
183×times-frac
134×add-sqr-sqrt
107×*-un-lft-identity
104×add-cube-cbrt
54×add-exp-log
43×associate-*l*
34×add-cbrt-cube
24×div-exp
19×associate-/l*
14×cbrt-undiv
13×associate-*r*
12×prod-exp div-inv
9×associate-/r* unswap-sqr
7×pow1
6×cbrt-unprod
4×expm1-log1p-u rec-exp 1-exp insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg
1×frac-times pow-prod-down associate-*l/ associate-*r/ un-div-inv *-commutative pow-flip inv-pow associate-/l/
Counts
4 → 236
Calls
4 calls:
10.0ms
(/ (fma (* v v) -5 1) PI)
68.0ms
(* (/ (/ (fma (* v v) -5 1) PI) t) (/ 1 (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2)))))
11.0ms
(/ (/ (fma (* v v) -5 1) PI) t)
11.0ms
(/ 1 (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2))))

series1.4s

Counts
4 → 12
Calls
4 calls:
134.0ms
(/ (fma (* v v) -5 1) PI)
773.0ms
(* (/ (/ (fma (* v v) -5 1) PI) t) (/ 1 (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2)))))
124.0ms
(/ (/ (fma (* v v) -5 1) PI) t)
413.0ms
(/ 1 (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2))))

simplify2.7s

Counts
248 → 248
Iterations
IterNodes
done5004
24404
11153
0408

prune1.6s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize46.0ms

Local error

Found 4 expressions with local error:

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

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
40×times-frac
30×add-sqr-sqrt
28×*-un-lft-identity add-cube-cbrt
20×add-cbrt-cube add-exp-log
16×associate-/l*
7×cbrt-undiv div-exp
6×pow1
4×expm1-log1p-u associate-/r* insert-posit16 log1p-expm1-u div-inv add-log-exp
3×associate-*r* associate-*l* prod-exp cbrt-unprod fma-udef
2×clear-num frac-2neg
1×distribute-rgt-in distribute-lft-in pow-prod-down *-commutative unswap-sqr associate-/l/
Counts
4 → 113
Calls
4 calls:
0.0ms
(fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2)))
9.0ms
(/ (fma (* v v) -5 1) PI)
19.0ms
(/ (/ (fma (* v v) -5 1) PI) (* t (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2)))))
19.0ms
(* t (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2))))

series1.8s

Counts
4 → 12
Calls
4 calls:
224.0ms
(fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2)))
147.0ms
(/ (fma (* v v) -5 1) PI)
1.1s
(/ (/ (fma (* v v) -5 1) PI) (* t (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2)))))
368.0ms
(* t (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2))))

simplify1.8s

Counts
125 → 125
Iterations
IterNodes
done5008
22390
1661
0257

prune744.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize49.0ms

Local error

Found 4 expressions with local error:

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

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
41×add-exp-log
32×add-cbrt-cube
31×times-frac
23×add-sqr-sqrt
21×*-un-lft-identity add-cube-cbrt
15×div-exp
13×prod-exp associate-/l*
11×pow1
10×cbrt-unprod
9×cbrt-undiv
6×associate-*l*
4×expm1-log1p-u associate-*r* pow-prod-down insert-posit16 log1p-expm1-u add-log-exp
3×1-exp div-inv
2×*-commutative
1×clear-num associate-/r* frac-2neg fma-udef unswap-sqr associate-/l/
Counts
4 → 109
Calls
4 calls:
0.0ms
(fma (* v (- v)) (sqrt (fma 6 (* v (- v)) 2)) (sqrt (fma 6 (* v (- v)) 2)))
10.0ms
(* (fma (* v (- v)) (sqrt (fma 6 (* v (- v)) 2)) (sqrt (fma 6 (* v (- v)) 2))) PI)
24.0ms
(* t (* (fma (* v (- v)) (sqrt (fma 6 (* v (- v)) 2)) (sqrt (fma 6 (* v (- v)) 2))) PI))
30.0ms
(/ (/ (fma (* v v) -5 1) 1) (* t (* (fma (* v (- v)) (sqrt (fma 6 (* v (- v)) 2)) (sqrt (fma 6 (* v (- v)) 2))) PI)))

series1.6s

Counts
4 → 12
Calls
4 calls:
211.0ms
(fma (* v (- v)) (sqrt (fma 6 (* v (- v)) 2)) (sqrt (fma 6 (* v (- v)) 2)))
275.0ms
(* (fma (* v (- v)) (sqrt (fma 6 (* v (- v)) 2)) (sqrt (fma 6 (* v (- v)) 2))) PI)
457.0ms
(* t (* (fma (* v (- v)) (sqrt (fma 6 (* v (- v)) 2)) (sqrt (fma 6 (* v (- v)) 2))) PI))
651.0ms
(/ (/ (fma (* v v) -5 1) 1) (* t (* (fma (* v (- v)) (sqrt (fma 6 (* v (- v)) 2)) (sqrt (fma 6 (* v (- v)) 2))) PI)))

simplify2.2s

Counts
121 → 121
Iterations
IterNodes
done5012
22930
1802
0293

prune682.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes157.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done23
123
018

end0.0ms

sample2.5s

Algorithm
intervals
Results
1.1s8077×body80nan
1.1s8000×body80valid