Details

Time bar (total: 1.5m)

sample113.0ms

Algorithm
intervals
Results
51.0ms256×body80valid
38.0ms243×body80nan

simplify284.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
284.0ms
(/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))))

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize46.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (* 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
(* PI t)
0.2b
(* 3 (* v v))

rewrite242.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
167.0ms
(/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))))
41.0ms
(* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))
26.0ms
(* 3 (* v v))
6.0ms
(* PI t)

series896.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
569.0ms
(/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))))
258.0ms
(* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))
39.0ms
(* PI t)
29.0ms
(* 3 (* v v))

simplify15.1s

Counts
71 → 110
Calls
71 calls:
Slowest
1.4s
(/ (* (* (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v)))) (- 1 (* 5 (* v v)))) (* (* (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))))
1.3s
(/ (* (* (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v)))) (- 1 (* 5 (* v v)))) (* (* (* (* (* PI t) (* PI t)) (* PI t)) (* (* (sqrt (* 2 (- 1 (* 3 (* v v))))) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (sqrt (* 2 (- 1 (* 3 (* v v))))))) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v)))))
1.0s
(/ (* (* (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v)))) (- 1 (* 5 (* v v)))) (* (* (* (* (* PI PI) PI) (* (* t t) t)) (* (* (sqrt (* 2 (- 1 (* 3 (* v v))))) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (sqrt (* 2 (- 1 (* 3 (* v v))))))) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v)))))
826.0ms
(/ (* (* (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v)))) (- 1 (* 5 (* v v)))) (* (* (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))) (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v)))))
726.0ms
(* (* (* 3 3) 3) (* (* (* v v) (* v v)) (* v v)))

prune1.5s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.1b

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

rewrite383.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
251.0ms
(/ (- 1 (* 5 (* v v))) (* (* PI (* t (sqrt (* 2 (- 1 (* 3 (* v v))))))) (- 1 (* v v))))
93.0ms
(* PI (* t (sqrt (* 2 (- 1 (* 3 (* v v)))))))
23.0ms
(* t (sqrt (* 2 (- 1 (* 3 (* v v))))))
14.0ms
(* 3 (* v v))

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
610.0ms
(/ (- 1 (* 5 (* v v))) (* (* PI (* t (sqrt (* 2 (- 1 (* 3 (* v v))))))) (- 1 (* v v))))
254.0ms
(* t (sqrt (* 2 (- 1 (* 3 (* v v))))))
212.0ms
(* PI (* t (sqrt (* 2 (- 1 (* 3 (* v v)))))))
50.0ms
(* 3 (* v v))

simplify16.5s

Counts
74 → 112
Calls
74 calls:
Slowest
1.2s
(/ (* (* (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v)))) (- 1 (* 5 (* v v)))) (* (* (* (* PI (* t (sqrt (* 2 (- 1 (* 3 (* v v))))))) (- 1 (* v v))) (* (* PI (* t (sqrt (* 2 (- 1 (* 3 (* v v))))))) (- 1 (* v v)))) (* (* PI (* t (sqrt (* 2 (- 1 (* 3 (* v v))))))) (- 1 (* v v)))))
1.1s
(/ (* (* (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v)))) (- 1 (* 5 (* v v)))) (* (* (* (* PI PI) PI) (* (* (* t (sqrt (* 2 (- 1 (* 3 (* v v)))))) (* t (sqrt (* 2 (- 1 (* 3 (* v v))))))) (* t (sqrt (* 2 (- 1 (* 3 (* v v)))))))) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v)))))
1.0s
(/ (* (* (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v)))) (- 1 (* 5 (* v v)))) (* (* (* (* PI PI) PI) (* (* (* t t) t) (* (* (sqrt (* 2 (- 1 (* 3 (* v v))))) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (sqrt (* 2 (- 1 (* 3 (* v v)))))))) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v)))))
922.0ms
(/ (* (* (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v)))) (- 1 (* 5 (* v v)))) (* (* (* (* PI (* t (sqrt (* 2 (- 1 (* 3 (* v v))))))) (* PI (* t (sqrt (* 2 (- 1 (* 3 (* v v)))))))) (* PI (* t (sqrt (* 2 (- 1 (* 3 (* v v)))))))) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v)))))
682.0ms
(* (* (* PI PI) PI) (* (* (* t (sqrt (* 2 (- 1 (* 3 (* v v)))))) (* t (sqrt (* 2 (- 1 (* 3 (* v v))))))) (* t (sqrt (* 2 (- 1 (* 3 (* v v))))))))

prune1.4s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize95.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))))))) (- (pow 1 3) (pow (* v v) 3))))
0.2b
(* 3 (* v v))

rewrite389.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
240.0ms
(/ (- 1 (* 5 (* v v))) (* (* PI (* t (sqrt (* 2 (- 1 (* 3 (* v v))))))) (- (pow 1 3) (pow (* v v) 3))))
76.0ms
(* PI (* t (sqrt (* 2 (- 1 (* 3 (* v v)))))))
44.0ms
(* t (sqrt (* 2 (- 1 (* 3 (* v v))))))
26.0ms
(* 3 (* v v))

series975.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
513.0ms
(/ (- 1 (* 5 (* v v))) (* (* PI (* t (sqrt (* 2 (- 1 (* 3 (* v v))))))) (- (pow 1 3) (pow (* v v) 3))))
233.0ms
(* PI (* t (sqrt (* 2 (- 1 (* 3 (* v v)))))))
189.0ms
(* t (sqrt (* 2 (- 1 (* 3 (* v v))))))
40.0ms
(* 3 (* v v))

simplify19.0s

Counts
74 → 112
Calls
74 calls:
Slowest
1.7s
(/ (* (* (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v)))) (- 1 (* 5 (* v v)))) (* (* (* (* PI (* t (sqrt (* 2 (- 1 (* 3 (* v v))))))) (- (pow 1 3) (pow (* v v) 3))) (* (* PI (* t (sqrt (* 2 (- 1 (* 3 (* v v))))))) (- (pow 1 3) (pow (* v v) 3)))) (* (* PI (* t (sqrt (* 2 (- 1 (* 3 (* v v))))))) (- (pow 1 3) (pow (* v v) 3)))))
1.5s
(/ (* (* (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v)))) (- 1 (* 5 (* v v)))) (* (* (* (* PI PI) PI) (* (* (* t t) t) (* (* (sqrt (* 2 (- 1 (* 3 (* v v))))) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (sqrt (* 2 (- 1 (* 3 (* v v)))))))) (* (* (- (pow 1 3) (pow (* v v) 3)) (- (pow 1 3) (pow (* v v) 3))) (- (pow 1 3) (pow (* v v) 3)))))
1.2s
(/ (* (* (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v)))) (- 1 (* 5 (* v v)))) (* (* (* (* PI (* t (sqrt (* 2 (- 1 (* 3 (* v v))))))) (* PI (* t (sqrt (* 2 (- 1 (* 3 (* v v)))))))) (* PI (* t (sqrt (* 2 (- 1 (* 3 (* v v)))))))) (* (* (- (pow 1 3) (pow (* v v) 3)) (- (pow 1 3) (pow (* v v) 3))) (- (pow 1 3) (pow (* v v) 3)))))
1.1s
(/ (* (* (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v)))) (- 1 (* 5 (* v v)))) (* (* (* (* PI PI) PI) (* (* (* t (sqrt (* 2 (- 1 (* 3 (* v v)))))) (* t (sqrt (* 2 (- 1 (* 3 (* v v))))))) (* t (sqrt (* 2 (- 1 (* 3 (* v v)))))))) (* (* (- (pow 1 3) (pow (* v v) 3)) (- (pow 1 3) (pow (* v v) 3))) (- (pow 1 3) (pow (* v v) 3)))))
788.0ms
(* (* (* PI PI) PI) (* (* (* t (sqrt (* 2 (- 1 (* 3 (* v v)))))) (* t (sqrt (* 2 (- 1 (* 3 (* v v))))))) (* t (sqrt (* 2 (- 1 (* 3 (* v v))))))))

prune2.2s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize75.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 1) (* (* 5 (* v v)) (* 5 (* v v)))) (* (* (* PI (* t (sqrt (* 2 (- 1 (* 3 (* v v))))))) (- (pow 1 3) (pow (* v v) 3))) (+ 1 (* 5 (* v v)))))
0.2b
(* 3 (* v v))

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
72×associate-*r/
36×add-cbrt-cube add-exp-log
28×frac-times
26×associate-/r/
22×sqrt-div
21×flip3-- flip--
17×prod-exp cbrt-unprod
16×pow1
14×associate-*l/
13×add-sqr-sqrt
10×*-un-lft-identity add-cube-cbrt
9×flip3-+ associate-*l* flip-+
7×pow-prod-down
6×associate-*r*
5×cbrt-undiv div-exp
4×times-frac insert-posit16 associate-/l* add-log-exp
3×*-commutative
2×difference-of-squares unswap-sqr associate-/l/
1×clear-num associate-/r* frac-2neg div-sub sqrt-prod div-inv
Counts
4 → 122
Calls
4 calls:
Slowest
1.0s
(/ (- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v)))) (* (* (* PI (* t (sqrt (* 2 (- 1 (* 3 (* v v))))))) (- (pow 1 3) (pow (* v v) 3))) (+ 1 (* 5 (* v v)))))
98.0ms
(* PI (* t (sqrt (* 2 (- 1 (* 3 (* v v)))))))
33.0ms
(* t (sqrt (* 2 (- 1 (* 3 (* v v))))))
26.0ms
(* 3 (* v v))

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
563.0ms
(/ (- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v)))) (* (* (* PI (* t (sqrt (* 2 (- 1 (* 3 (* v v))))))) (- (pow 1 3) (pow (* v v) 3))) (+ 1 (* 5 (* v v)))))
287.0ms
(* PI (* t (sqrt (* 2 (- 1 (* 3 (* v v)))))))
185.0ms
(* t (sqrt (* 2 (- 1 (* 3 (* v v))))))
33.0ms
(* 3 (* v v))

simplify22.6s

Counts
97 → 134
Calls
97 calls:
Slowest
930.0ms
(* (* (sqrt (+ 1 (* 3 (* v v)))) (+ (* (pow 1 3) (pow 1 3)) (+ (* (pow (* v v) 3) (pow (* v v) 3)) (* (pow 1 3) (pow (* v v) 3))))) (+ (* 1 1) (- (* (* 5 (* v v)) (* 5 (* v v))) (* 1 (* 5 (* v v))))))
922.0ms
(* (* (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))) (+ (* (pow 1 3) (pow 1 3)) (+ (* (pow (* v v) 3) (pow (* v v) 3)) (* (pow 1 3) (pow (* v v) 3))))) (+ (* 1 1) (- (* (* 5 (* v v)) (* 5 (* v v))) (* 1 (* 5 (* v v))))))
785.0ms
(* (* (* PI PI) PI) (* (* (* t (sqrt (* 2 (- 1 (* 3 (* v v)))))) (* t (sqrt (* 2 (- 1 (* 3 (* v v))))))) (* t (sqrt (* 2 (- 1 (* 3 (* v v))))))))
547.0ms
(sqrt (- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v)))))
514.0ms
(+ (* (pow 1 3) (pow 1 3)) (+ (* (pow (* v v) 3) (pow (* v v) 3)) (* (pow 1 3) (pow (* v v) 3))))

prune2.5s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.1b

regimes544.0ms

Accuracy

0% (0.2b remaining)

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

bsearch19.0ms

end0.0ms

sample4.0s

Algorithm
intervals
Results
2.0s8170×body80nan
1.6s8000×body80valid