Details

Time bar (total: 1.2m)

sample77.0ms

Algorithm
intervals
Results
31.0ms251×body80nan
24.0ms256×body80valid

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

localize37.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))))

rewrite69.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:
1.0ms
(fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2)))
10.0ms
(/ (fma (* v v) -5 1) PI)
11.0ms
(/ (/ (fma (* v v) -5 1) PI) t)
27.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:
274.0ms
(fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2)))
143.0ms
(/ (fma (* v v) -5 1) PI)
89.0ms
(/ (/ (fma (* v v) -5 1) PI) t)
757.0ms
(/ (/ (/ (fma (* v v) -5 1) PI) t) (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2))))

simplify2.7s

Counts
321 → 321
Iterations
IterNodes
done5002
23603
11300
0569

prune2.6s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize62.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 5 (* v v))
0.2b
(* PI t)
0.3b
(/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))))
0.4b
(* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))

rewrite324.0ms

Algorithm
rewrite-expression-head
Rules
30×add-cbrt-cube add-exp-log
18×associate-*r/
16×pow1
13×add-sqr-sqrt prod-exp cbrt-unprod
10×*-un-lft-identity add-cube-cbrt
8×flip3-- sqrt-div associate-*r* associate-/r/ flip--
7×associate-*l* pow-prod-down
4×expm1-log1p-u frac-times cbrt-undiv div-exp insert-posit16 log1p-expm1-u add-log-exp
3×times-frac *-commutative associate-/l*
2×associate-*l/ unswap-sqr associate-/l/
1×clear-num associate-/r* frac-2neg div-sub sqrt-prod div-inv
Counts
4 → 106
Calls
4 calls:
24.0ms
(* 5 (* v v))
13.0ms
(* PI t)
233.0ms
(/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))))
50.0ms
(* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))

series943.0ms

Counts
4 → 12
Calls
4 calls:
38.0ms
(* 5 (* v v))
34.0ms
(* PI t)
567.0ms
(/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))))
304.0ms
(* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))

simplify3.2s

Counts
118 → 118
Iterations
IterNodes
done5031
23380
1725
0241

prune676.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize78.0ms

Local error

Found 4 expressions with local error:

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

rewrite619.0ms

Algorithm
rewrite-expression-head
Rules
2073×times-frac
1157×add-sqr-sqrt
867×*-un-lft-identity
840×add-cube-cbrt
666×sqrt-prod
350×cbrt-prod
316×associate-*r*
107×add-exp-log
72×unswap-sqr
68×associate-/l*
64×div-inv
56×add-cbrt-cube associate-*l*
55×div-exp
37×cbrt-undiv
30×prod-exp
21×cbrt-unprod
9×associate-/r*
6×pow1 1-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
2×clear-num frac-2neg associate-/l/
1×frac-times pow1/3 sqrt-div pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 980
Calls
4 calls:
2.0ms
(cbrt (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2))))
23.0ms
(/ (sqrt (/ (fma (* v v) -5 1) PI)) t)
457.0ms
(* (/ (/ (sqrt (/ (fma (* v v) -5 1) PI)) 1) (* (cbrt (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2)))) (cbrt (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2)))))) (/ (/ (sqrt (/ (fma (* v v) -5 1) PI)) t) (cbrt (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2))))))
41.0ms
(/ (/ (sqrt (/ (fma (* v v) -5 1) PI)) t) (cbrt (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2)))))

series4.7s

Counts
4 → 12
Calls
4 calls:
801.0ms
(cbrt (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2))))
354.0ms
(/ (sqrt (/ (fma (* v v) -5 1) PI)) t)
774.0ms
(* (/ (/ (sqrt (/ (fma (* v v) -5 1) PI)) 1) (* (cbrt (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2)))) (cbrt (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2)))))) (/ (/ (sqrt (/ (fma (* v v) -5 1) PI)) t) (cbrt (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2))))))
2.8s
(/ (/ (sqrt (/ (fma (* v v) -5 1) PI)) t) (cbrt (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2)))))

simplify6.2s

Counts
992 → 992
Iterations
IterNodes
done5000
14634
01486

prune9.9s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize114.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.0s

Algorithm
rewrite-expression-head
Rules
3873×times-frac
2727×sqrt-prod
1778×add-sqr-sqrt
1776×*-un-lft-identity add-cube-cbrt
715×associate-*r*
570×add-exp-log
477×cbrt-prod
315×div-exp
279×add-cbrt-cube
207×prod-exp
150×cbrt-undiv
111×cbrt-unprod
79×associate-/l*
78×div-inv
45×1-exp
11×pow1
9×associate-/r*
5×frac-times associate-*l/
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow-prod-down associate-*r/
2×rem-sqrt-square sqrt-pow1 pow1/2
1×clear-num frac-2neg associate-*l* *-commutative associate-/l/
Counts
4 → 1720
Calls
4 calls:
694.0ms
(* (* (/ (/ (sqrt (/ (fma (* v v) -5 1) PI)) 1) (* (cbrt (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2)))) (cbrt (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2)))))) (/ (/ (sqrt (/ 1 (sqrt PI))) 1) (sqrt (cbrt (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2))))))) (/ (/ (sqrt (/ (fma (* v v) -5 1) (sqrt PI))) t) (sqrt (cbrt (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2)))))))
67.0ms
(/ (/ (sqrt (/ (fma (* v v) -5 1) (sqrt PI))) t) (sqrt (cbrt (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2))))))
3.0ms
(sqrt PI)
3.0ms
(sqrt PI)

series4.2s

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

simplify10.5s

Counts
1728 → 1728
Iterations
IterNodes
done5001
02048

prune16.8s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes215.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify7.0ms

Iterations
IterNodes
done38
138
032

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.2s8000×body80valid
624.0ms7972×body80nan