Details

Time bar (total: 1.9m)

sample119.0ms

Algorithm
intervals
Results
60.0ms310×body80nan
38.0ms256×body80valid

simplify1.8s

Counts
1 → 1

prune14.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize33.0ms

Local error

Found 4 expressions with local error:

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

rewrite126.0ms

Algorithm
rewrite-expression-head
Rules
299×times-frac
118×add-sqr-sqrt
116×*-un-lft-identity add-cube-cbrt
60×sqrt-prod
44×add-cbrt-cube add-exp-log
32×associate-/l*
18×associate-/r/ div-inv
17×cbrt-undiv div-exp
16×associate-*r/
14×pow1
10×prod-exp cbrt-unprod
9×flip3-- flip--
7×associate-/r*
6×pow-prod-down
5×div-sub
4×associate-*r* associate-*l* insert-posit16 add-log-exp
2×clear-num frac-2neg sqrt-div *-commutative unswap-sqr associate-/l/
Counts
4 → 254
Calls
4 calls:
Slowest
37.0ms
(/ (/ (- 1 (* (* v v) 5)) PI) (* t (- 1 (* v v))))
28.0ms
(* (* v v) 5)
26.0ms
(/ (/ (/ (- 1 (* (* v v) 5)) PI) (* t (- 1 (* v v)))) (sqrt (- 2 (* 6 (* v v)))))
25.0ms
(* 6 (* v v))

series799.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
537.0ms
(/ (/ (/ (- 1 (* (* v v) 5)) PI) (* t (- 1 (* v v)))) (sqrt (- 2 (* 6 (* v v)))))
180.0ms
(/ (/ (- 1 (* (* v v) 5)) PI) (* t (- 1 (* v v))))
46.0ms
(* 6 (* v v))
35.0ms
(* (* v v) 5)

simplify999.0ms

Counts
266 → 266

prune3.5s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize82.0ms

Local error

Found 4 expressions with local error:

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

rewrite190.0ms

Algorithm
rewrite-expression-head
Rules
1397×times-frac
482×add-sqr-sqrt
480×*-un-lft-identity add-cube-cbrt
180×sqrt-prod
93×associate-/r/
74×div-inv
67×add-cbrt-cube add-exp-log
52×associate-*r/
33×cbrt-undiv div-exp
32×associate-/l*
26×flip3-- flip--
25×associate-/r*
20×flip3-+ flip-+
14×pow1
12×prod-exp cbrt-unprod
6×pow-prod-down
5×div-sub
4×associate-*r* associate-*l* insert-posit16 add-log-exp
2×clear-num frac-2neg *-commutative unswap-sqr associate-/l/
Counts
4 → 623
Calls
4 calls:
Slowest
62.0ms
(/ (/ (/ (- 1 (* (* v v) 5)) PI) (* t (- (* 1 1) (* (* v v) (* v v))))) (/ (sqrt (- 2 (* 6 (* v v)))) (+ 1 (* v v))))
47.0ms
(/ (/ (- 1 (* (* v v) 5)) PI) (* t (- (* 1 1) (* (* v v) (* v v)))))
27.0ms
(* (* v v) 5)
25.0ms
(* 6 (* v v))

series816.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
554.0ms
(/ (/ (/ (- 1 (* (* v v) 5)) PI) (* t (- (* 1 1) (* (* v v) (* v v))))) (/ (sqrt (- 2 (* 6 (* v v)))) (+ 1 (* v v))))
157.0ms
(/ (/ (- 1 (* (* v v) 5)) PI) (* t (- (* 1 1) (* (* v v) (* v v)))))
53.0ms
(* 6 (* v v))
52.0ms
(* (* v v) 5)

simplify4.0s

Counts
635 → 635

prune9.9s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize125.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (cbrt PI) (cbrt PI))
1.0b
(cbrt PI)
1.0b
(cbrt PI)
1.0b
(cbrt PI)

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
11×pow1
9×pow1/3
6×swap-sqr associate-*r* associate-*l* add-exp-log
4×add-cbrt-cube insert-posit16 add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 77
Calls
4 calls:
Slowest
14.0ms
(* (cbrt PI) (cbrt PI))
1.0ms
(cbrt PI)
1.0ms
(cbrt PI)
1.0ms
(cbrt PI)

series0.0ms

Counts
4 → 4
Calls
4 calls:
Slowest
0.0ms
(* (cbrt PI) (cbrt PI))
0.0ms
(cbrt PI)
0.0ms
(cbrt PI)
0.0ms
(cbrt PI)

simplify2.2s

Counts
81 → 81

prune1.5s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize121.0ms

Local error

Found 4 expressions with local error:

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

rewrite698.0ms

Algorithm
rewrite-expression-head
Rules
7364×times-frac
2704×add-sqr-sqrt
2501×*-un-lft-identity
2477×add-cube-cbrt
1827×sqrt-prod
1432×cbrt-prod
1145×associate-*r*
740×add-exp-log
447×div-exp
340×associate-/r/
295×add-cbrt-cube div-inv
245×associate-*r/
201×cbrt-undiv
192×prod-exp
122×flip3-- flip--
92×sqrt-div
78×cbrt-unprod
73×associate-/r*
56×unswap-sqr
46×flip3-+ flip-+
41×associate-*l*
36×rec-exp 1-exp
35×associate-/l*
7×pow1
5×div-sub
4×insert-posit16 add-log-exp
3×clear-num frac-2neg
2×associate-/l/
1×frac-times pow-prod-down associate-*l/ *-commutative pow-flip inv-pow
Counts
4 → 2789
Calls
4 calls:
Slowest
360.0ms
(* (/ 1 (/ (* (cbrt (sqrt (- 2 (* 6 (* v v))))) (cbrt (sqrt (- 2 (* 6 (* v v)))))) (sqrt (+ 1 (* v v))))) (/ (/ (/ (- 1 (* (* v v) 5)) PI) (* t (- (* 1 1) (* (* v v) (* v v))))) (/ (cbrt (sqrt (- 2 (* 6 (* v v))))) (sqrt (+ 1 (* v v))))))
84.0ms
(/ (/ (/ (- 1 (* (* v v) 5)) PI) (* t (- (* 1 1) (* (* v v) (* v v))))) (/ (cbrt (sqrt (- 2 (* 6 (* v v))))) (sqrt (+ 1 (* v v)))))
61.0ms
(/ (/ (- 1 (* (* v v) 5)) PI) (* t (- (* 1 1) (* (* v v) (* v v)))))
19.0ms
(/ 1 (/ (* (cbrt (sqrt (- 2 (* 6 (* v v))))) (cbrt (sqrt (- 2 (* 6 (* v v)))))) (sqrt (+ 1 (* v v)))))

series1.6s

Counts
4 → 12
Calls
4 calls:
Slowest
598.0ms
(/ (/ (/ (- 1 (* (* v v) 5)) PI) (* t (- (* 1 1) (* (* v v) (* v v))))) (/ (cbrt (sqrt (- 2 (* 6 (* v v))))) (sqrt (+ 1 (* v v)))))
556.0ms
(* (/ 1 (/ (* (cbrt (sqrt (- 2 (* 6 (* v v))))) (cbrt (sqrt (- 2 (* 6 (* v v)))))) (sqrt (+ 1 (* v v))))) (/ (/ (/ (- 1 (* (* v v) 5)) PI) (* t (- (* 1 1) (* (* v v) (* v v))))) (/ (cbrt (sqrt (- 2 (* 6 (* v v))))) (sqrt (+ 1 (* v v))))))
317.0ms
(/ 1 (/ (* (cbrt (sqrt (- 2 (* 6 (* v v))))) (cbrt (sqrt (- 2 (* 6 (* v v)))))) (sqrt (+ 1 (* v v)))))
148.0ms
(/ (/ (- 1 (* (* v v) 5)) PI) (* t (- (* 1 1) (* (* v v) (* v v)))))

simplify23.6s

Counts
2801 → 2801

prune1.0m

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes108.0ms

Accuracy

0% (0.2b remaining)

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

bsearch3.0ms

end0.0ms

sample2.8s

Algorithm
intervals
Results
1.1s8002×body80valid
1.0s8148×body80nan