Details

Time bar (total: 45.0s)

sample109.0ms

Algorithm
intervals
Results
57.0ms256×body80valid
29.0ms204×body80nan

simplify1.9s

Counts
1 → 1
Iterations
IterNodes
done5000
3849
2162
146
019

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize51.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)
0.4b
(/ (/ (/ (fma (* v v) -5 1) PI) t) (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2))))

rewrite41.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)))
8.0ms
(/ (fma (* v v) -5 1) PI)
8.0ms
(/ (/ (fma (* v v) -5 1) PI) t)
12.0ms
(/ (/ (/ (fma (* v v) -5 1) PI) t) (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2))))

series1.2s

Counts
4 → 12
Calls
4 calls:
212.0ms
(fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2)))
117.0ms
(/ (fma (* v v) -5 1) PI)
129.0ms
(/ (/ (fma (* v v) -5 1) PI) t)
697.0ms
(/ (/ (/ (fma (* v v) -5 1) PI) t) (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2))))

simplify2.9s

Counts
321 → 321
Iterations
IterNodes
done5002
23603
11300
0569

prune2.5s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize76.0ms

Local error

Found 4 expressions with local error:

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

rewrite217.0ms

Algorithm
rewrite-expression-head
Rules
6006×times-frac
2582×add-sqr-sqrt
2580×*-un-lft-identity add-cube-cbrt
1578×sqrt-prod
434×associate-/l*
97×div-inv
23×add-cbrt-cube add-exp-log
13×cbrt-undiv div-exp
9×associate-/r*
6×pow1
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
2×rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 associate-/l/
Counts
4 → 1883
Calls
4 calls:
51.0ms
(/ (/ (/ (/ (fma (* v v) -5 1) (sqrt PI)) (sqrt PI)) t) (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2))))
21.0ms
(/ (/ (fma (* v v) -5 1) (sqrt PI)) (sqrt PI))
2.0ms
(sqrt PI)
2.0ms
(sqrt PI)

series1.2s

Counts
4 → 8
Calls
4 calls:
1.0s
(/ (/ (/ (/ (fma (* v v) -5 1) (sqrt PI)) (sqrt PI)) t) (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2))))
173.0ms
(/ (/ (fma (* v v) -5 1) (sqrt PI)) (sqrt PI))
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)

simplify4.6s

Counts
1891 → 1891
Iterations
IterNodes
done5001
02496

prune13.9s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize107.0ms

Local error

Found 4 expressions with local error:

4.3b
(/ (* (* v v) (* v v)) t)
4.3b
(* (/ 4 t) (/ (* (* v v) (* v v)) (* (sqrt 2) PI)))
6.3b
(/ (* v v) (* (* t (* 2 (sqrt 2))) PI))
6.4b
(fma (/ 4 t) (/ (* v v) (* (sqrt 2) PI)) (fma 12 (/ (* (* v v) (* v v)) (* (* t (* 2 (sqrt 2))) PI)) (* (/ 4 t) (/ (* (* v v) (* v v)) (* (sqrt 2) PI)))))

rewrite259.0ms

Algorithm
rewrite-expression-head
Rules
171×add-cbrt-cube add-exp-log
88×prod-exp cbrt-unprod
44×cbrt-undiv div-exp
19×add-sqr-sqrt
15×times-frac
14×*-un-lft-identity add-cube-cbrt
13×associate-*l*
6×pow1
5×associate-*r*
4×expm1-log1p-u associate-/r* insert-posit16 log1p-expm1-u div-inv add-log-exp
2×clear-num frac-2neg associate-/l* unswap-sqr
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative fma-udef
Counts
4 → 152
Calls
4 calls:
55.0ms
(/ (* (* v v) (* v v)) t)
91.0ms
(* (/ 4 t) (/ (* (* v v) (* v v)) (* (sqrt 2) PI)))
105.0ms
(/ (* v v) (* (* t (* 2 (sqrt 2))) PI))
1.0ms
(fma (/ 4 t) (/ (* v v) (* (sqrt 2) PI)) (fma 12 (/ (* (* v v) (* v v)) (* (* t (* 2 (sqrt 2))) PI)) (* (/ 4 t) (/ (* (* v v) (* v v)) (* (sqrt 2) PI)))))

series1.2s

Counts
4 → 12
Calls
4 calls:
27.0ms
(/ (* (* v v) (* v v)) t)
243.0ms
(* (/ 4 t) (/ (* (* v v) (* v v)) (* (sqrt 2) PI)))
162.0ms
(/ (* v v) (* (* t (* 2 (sqrt 2))) PI))
768.0ms
(fma (/ 4 t) (/ (* v v) (* (sqrt 2) PI)) (fma 12 (/ (* (* v v) (* v v)) (* (* t (* 2 (sqrt 2))) PI)) (* (/ 4 t) (/ (* (* v v) (* v v)) (* (sqrt 2) PI)))))

simplify1.4s

Counts
164 → 164
Iterations
IterNodes
done5001
1983
0293

prune1.6s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize91.0ms

Local error

Found 4 expressions with local error:

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

rewrite79.0ms

Algorithm
rewrite-expression-head
Rules
534×times-frac
485×add-exp-log
396×div-exp
233×add-sqr-sqrt
212×*-un-lft-identity add-cube-cbrt
116×1-exp
109×add-cbrt-cube
105×prod-exp
79×associate-/l*
77×associate-*l*
74×cbrt-undiv
47×cbrt-prod
31×div-inv
23×cbrt-unprod
13×pow1
9×associate-*r*
8×unswap-sqr
7×pow1/3
6×swap-sqr
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow-prod-down
2×associate-*l/ associate-/r/ pow-sqr *-commutative pow-prod-up
1×pow2 clear-num associate-/r* frac-2neg pow-plus associate-/l/
Counts
4 → 440
Calls
4 calls:
1.0ms
(cbrt (fma (* v v) -5 1))
13.0ms
(* (cbrt (fma (* v v) -5 1)) (cbrt (fma (* v v) -5 1)))
16.0ms
(* (/ (fma (sqrt (fma 6 (- (* v v)) 2)) (- (* v v)) (sqrt (fma 6 (- (* v v)) 2))) (/ (cbrt (fma (* v v) -5 1)) PI)) t)
39.0ms
(/ (/ (/ (/ (* (cbrt (fma (* v v) -5 1)) (cbrt (fma (* v v) -5 1))) 1) 1) 1) (* (/ (fma (sqrt (fma 6 (- (* v v)) 2)) (- (* v v)) (sqrt (fma 6 (- (* v v)) 2))) (/ (cbrt (fma (* v v) -5 1)) PI)) t))

series2.2s

Counts
4 → 12
Calls
4 calls:
169.0ms
(cbrt (fma (* v v) -5 1))
209.0ms
(* (cbrt (fma (* v v) -5 1)) (cbrt (fma (* v v) -5 1)))
1.1s
(* (/ (fma (sqrt (fma 6 (- (* v v)) 2)) (- (* v v)) (sqrt (fma 6 (- (* v v)) 2))) (/ (cbrt (fma (* v v) -5 1)) PI)) t)
731.0ms
(/ (/ (/ (/ (* (cbrt (fma (* v v) -5 1)) (cbrt (fma (* v v) -5 1))) 1) 1) 1) (* (/ (fma (sqrt (fma 6 (- (* v v)) 2)) (- (* v v)) (sqrt (fma 6 (- (* v v)) 2))) (/ (cbrt (fma (* v v) -5 1)) PI)) t))

simplify2.7s

Counts
452 → 452
Iterations
IterNodes
done5001
12453
0988

prune2.8s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes203.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify7.0ms

Iterations
IterNodes
done23
123
019

end0.0ms

sample3.9s

Algorithm
intervals
Results
1.8s7789×body80nan
1.7s8000×body80valid