Details

Time bar (total: 30.7s)

sample120.0ms

Algorithm
intervals
Results
55.0ms256×body80valid
39.0ms270×body80nan

simplify1.8s

Counts
1 → 1

prune14.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize61.0ms

Local error

Found 4 expressions with local error:

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

rewrite231.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×frac-times cbrt-undiv div-exp insert-posit16 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 → 98
Calls
4 calls:
Slowest
147.0ms
(/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))))
51.0ms
(* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))
22.0ms
(* 3 (* v v))
10.0ms
(* PI t)

series917.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
600.0ms
(/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))))
247.0ms
(* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))
45.0ms
(* 3 (* v v))
25.0ms
(* PI t)

simplify1.5s

Counts
110 → 110

prune1.2s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize60.0ms

Local error

Found 4 expressions with local error:

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

rewrite333.0ms

Algorithm
rewrite-expression-head
Rules
30×add-cbrt-cube associate-*r/ add-exp-log
16×pow1
13×add-sqr-sqrt prod-exp cbrt-unprod
10×*-un-lft-identity sqrt-div add-cube-cbrt
9×flip3-- associate-*l* flip--
8×associate-/r/
7×pow-prod-down
6×associate-*r*
4×frac-times cbrt-undiv div-exp insert-posit16 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 → 100
Calls
4 calls:
Slowest
220.0ms
(/ (- 1 (* 5 (* v v))) (* (* PI (* t (sqrt (* 2 (- 1 (* 3 (* v v))))))) (- 1 (* v v))))
72.0ms
(* PI (* t (sqrt (* 2 (- 1 (* 3 (* v v)))))))
20.0ms
(* t (sqrt (* 2 (- 1 (* 3 (* v v))))))
19.0ms
(* 3 (* v v))

series1.0s

Counts
4 → 12
Calls
4 calls:
Slowest
568.0ms
(/ (- 1 (* 5 (* v v))) (* (* PI (* t (sqrt (* 2 (- 1 (* 3 (* v v))))))) (- 1 (* v v))))
229.0ms
(* PI (* t (sqrt (* 2 (- 1 (* 3 (* v v)))))))
168.0ms
(* t (sqrt (* 2 (- 1 (* 3 (* v v))))))
36.0ms
(* 3 (* v v))

simplify1.3s

Counts
112 → 112

prune1.2s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize41.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
536×associate-*r/
270×cbrt-div sqrt-div
192×frac-times
163×flip3-- flip--
96×associate-*l/
80×associate-/r/
59×add-exp-log
44×add-cbrt-cube
34×prod-exp cbrt-unprod
32×pow1
19×pow-prod-down
11×add-sqr-sqrt
10×*-un-lft-identity add-cube-cbrt
9×associate-*r*
7×associate-*l*
6×cbrt-undiv div-exp
4×cbrt-prod insert-posit16 add-log-exp
3×times-frac *-commutative associate-/l*
2×associate-/l/
1×clear-num associate-/r* frac-2neg div-sub sqrt-prod div-inv unswap-sqr
Counts
4 → 236
Calls
4 calls:
Slowest
704.0ms
(/ (- 1 (* 5 (* v v))) (* (* PI (* (* t (* (cbrt (sqrt (* 2 (- 1 (* 3 (* v v)))))) (cbrt (sqrt (* 2 (- 1 (* 3 (* v v)))))))) (cbrt (sqrt (* 2 (- 1 (* 3 (* v v)))))))) (- 1 (* v v))))
336.0ms
(* PI (* (* t (* (cbrt (sqrt (* 2 (- 1 (* 3 (* v v)))))) (cbrt (sqrt (* 2 (- 1 (* 3 (* v v)))))))) (cbrt (sqrt (* 2 (- 1 (* 3 (* v v))))))))
142.0ms
(* (* t (* (cbrt (sqrt (* 2 (- 1 (* 3 (* v v)))))) (cbrt (sqrt (* 2 (- 1 (* 3 (* v v)))))))) (cbrt (sqrt (* 2 (- 1 (* 3 (* v v)))))))
12.0ms
(* 3 (* v v))

series976.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
514.0ms
(/ (- 1 (* 5 (* v v))) (* (* PI (* (* t (* (cbrt (sqrt (* 2 (- 1 (* 3 (* v v)))))) (cbrt (sqrt (* 2 (- 1 (* 3 (* v v)))))))) (cbrt (sqrt (* 2 (- 1 (* 3 (* v v)))))))) (- 1 (* v v))))
225.0ms
(* PI (* (* t (* (cbrt (sqrt (* 2 (- 1 (* 3 (* v v)))))) (cbrt (sqrt (* 2 (- 1 (* 3 (* v v)))))))) (cbrt (sqrt (* 2 (- 1 (* 3 (* v v))))))))
198.0ms
(* (* t (* (cbrt (sqrt (* 2 (- 1 (* 3 (* v v)))))) (cbrt (sqrt (* 2 (- 1 (* 3 (* v v)))))))) (cbrt (sqrt (* 2 (- 1 (* 3 (* v v)))))))
39.0ms
(* 3 (* v v))

simplify1.9s

Counts
248 → 248

prune5.4s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize104.0ms

Local error

Found 4 expressions with local error:

0.4b
(* t (* (cbrt (sqrt (* 2 (- 1 (* (* 3 v) v))))) (* (cbrt (sqrt (* 2 (- 1 (* (* 3 v) v))))) (cbrt (sqrt (* 2 (- 1 (* (* 3 v) v))))))))
0.4b
(/ (/ (- 1 (* (* v v) 5)) PI) (* t (* (cbrt (sqrt (* 2 (- 1 (* (* 3 v) v))))) (* (cbrt (sqrt (* 2 (- 1 (* (* 3 v) v))))) (cbrt (sqrt (* 2 (- 1 (* (* 3 v) v)))))))))
0.1b
(* (* 3 v) v)
0.1b
(* (* 3 v) v)

rewrite642.0ms

Algorithm
rewrite-expression-head
Rules
188×associate-*r/
108×cbrt-div sqrt-div
56×frac-times
55×add-exp-log
54×flip3-- flip--
43×add-cbrt-cube
31×times-frac
26×associate-/r/
24×prod-exp cbrt-unprod
23×pow1
21×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
16×associate-*l/
13×associate-/l*
12×cbrt-undiv div-exp pow-prod-down
7×associate-*r*
5×associate-*l*
4×insert-posit16 add-log-exp
3×*-commutative div-inv
2×div-sub
1×clear-num associate-/r* frac-2neg associate-/l/
Counts
4 → 168
Calls
4 calls:
Slowest
465.0ms
(* t (* (cbrt (sqrt (* 2 (- 1 (* (* 3 v) v))))) (* (cbrt (sqrt (* 2 (- 1 (* (* 3 v) v))))) (cbrt (sqrt (* 2 (- 1 (* (* 3 v) v))))))))
129.0ms
(/ (/ (- 1 (* (* v v) 5)) PI) (* t (* (cbrt (sqrt (* 2 (- 1 (* (* 3 v) v))))) (* (cbrt (sqrt (* 2 (- 1 (* (* 3 v) v))))) (cbrt (sqrt (* 2 (- 1 (* (* 3 v) v)))))))))
23.0ms
(* (* 3 v) v)
17.0ms
(* (* 3 v) v)

series605.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
388.0ms
(/ (/ (- 1 (* (* v v) 5)) PI) (* t (* (cbrt (sqrt (* 2 (- 1 (* (* 3 v) v))))) (* (cbrt (sqrt (* 2 (- 1 (* (* 3 v) v))))) (cbrt (sqrt (* 2 (- 1 (* (* 3 v) v)))))))))
145.0ms
(* t (* (cbrt (sqrt (* 2 (- 1 (* (* 3 v) v))))) (* (cbrt (sqrt (* 2 (- 1 (* (* 3 v) v))))) (cbrt (sqrt (* 2 (- 1 (* (* 3 v) v))))))))
36.0ms
(* (* 3 v) v)
36.0ms
(* (* 3 v) v)

simplify1.7s

Counts
180 → 180

prune4.3s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

regimes264.0ms

Accuracy

0% (0.1b remaining)

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

bsearch9.0ms

end0.0ms

sample3.7s

Algorithm
intervals
Results
1.8s8000×body80valid
1.5s7987×body80nan