Details

Time bar (total: 1.6m)

sample113.0ms

Algorithm
intervals
Results
46.0ms256×body80valid
42.0ms240×body80nan

simplify266.0ms

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

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.6b

localize50.0ms

Local error

Found 4 expressions with local error:

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

rewrite209.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
133.0ms
(/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))))
53.0ms
(* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))
15.0ms
(* 3 (* v v))
6.0ms
(* PI t)

series917.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
636.0ms
(/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))))
207.0ms
(* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))
37.0ms
(* PI t)
37.0ms
(* 3 (* v v))

simplify14.3s

Counts
71 → 110
Calls
71 calls:
Slowest
1.5s
(/ (* (* (- 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.2s
(/ (* (* (- 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)))))
967.0ms
(/ (* (* (- 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)))))
941.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)))))
473.0ms
(* (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))) (+ 1 (* v v)))

prune1.4s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.3b

localize67.0ms

Local error

Found 4 expressions with local error:

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

rewrite376.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
266.0ms
(/ (- 1 (* 5 (* v v))) (* (* PI (* t (sqrt (* 2 (- 1 (* 3 (* v v))))))) (- 1 (* v v))))
52.0ms
(* PI (* t (sqrt (* 2 (- 1 (* 3 (* v v)))))))
31.0ms
(* t (sqrt (* 2 (- 1 (* 3 (* v v))))))
24.0ms
(* 3 (* v v))

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
606.0ms
(/ (- 1 (* 5 (* v v))) (* (* PI (* t (sqrt (* 2 (- 1 (* 3 (* v v))))))) (- 1 (* v v))))
234.0ms
(* PI (* t (sqrt (* 2 (- 1 (* 3 (* v v)))))))
197.0ms
(* t (sqrt (* 2 (- 1 (* 3 (* v v))))))
33.0ms
(* 3 (* v v))

simplify16.3s

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.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)))))
970.0ms
(/ (* (* (- 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)))))
844.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)))))
711.0ms
(- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v))))

prune1.4s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.3b

localize60.0ms

Local error

Found 4 expressions with local error:

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

rewrite107.0ms

Algorithm
rewrite-expression-head
Rules
25×add-cbrt-cube add-exp-log
16×pow1
15×add-sqr-sqrt
12×*-un-lft-identity add-cube-cbrt
10×prod-exp cbrt-unprod
8×associate-*r* associate-*r/
7×associate-*l* pow-prod-down sqrt-prod
6×times-frac sqrt-div associate-/l*
4×insert-posit16 add-log-exp
3×cbrt-undiv flip3-- div-exp *-commutative flip--
2×associate-/r/ unswap-sqr associate-/l/
1×clear-num associate-/r* frac-2neg div-inv
Counts
4 → 95
Calls
4 calls:
Slowest
56.0ms
(/ (sqrt (- 1 (* 5 (* v v)))) (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))))
31.0ms
(* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))
13.0ms
(* 3 (* v v))
6.0ms
(* PI t)

series758.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
425.0ms
(/ (sqrt (- 1 (* 5 (* v v)))) (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))))
241.0ms
(* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))
49.0ms
(* 3 (* v v))
44.0ms
(* PI t)

simplify11.1s

Counts
71 → 107
Calls
71 calls:
Slowest
793.0ms
(/ (* (* (sqrt (- 1 (* 5 (* v v)))) (sqrt (- 1 (* 5 (* v v))))) (sqrt (- 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))))))))
772.0ms
(/ (* (* (sqrt (- 1 (* 5 (* v v)))) (sqrt (- 1 (* 5 (* v v))))) (sqrt (- 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))))))))
608.0ms
(/ (* (* (sqrt (- 1 (* 5 (* v v)))) (sqrt (- 1 (* 5 (* v v))))) (sqrt (- 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))))))))
457.0ms
(+ (/ (sqrt 5/3) (* t (* (sqrt 2) PI))) (* 1/9 (/ 1 (* t (* (sqrt 2) (* (pow v 2) (* (sqrt 5/3) PI)))))))
427.0ms
(+ (/ (sqrt 5/3) (* t (* (sqrt 2) PI))) (* 1/9 (/ 1 (* t (* (sqrt 2) (* (pow v 2) (* (sqrt 5/3) PI)))))))

prune1.5s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize64.0ms

Local error

Found 4 expressions with local error:

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

rewrite137.0ms

Algorithm
rewrite-expression-head
Rules
212×times-frac
159×add-sqr-sqrt
117×*-un-lft-identity
114×add-cube-cbrt
55×add-exp-log
46×associate-*l*
44×sqrt-prod
37×add-cbrt-cube
31×associate-*r*
24×div-exp
19×associate-/l*
13×cbrt-undiv prod-exp unswap-sqr
11×pow1 div-inv
9×cbrt-unprod
7×associate-/r*
6×sqrt-div
5×associate-*r/
4×pow-prod-down associate-/r/ insert-posit16 add-log-exp
3×rec-exp flip3-- 1-exp flip-- associate-/l/
2×clear-num frac-2neg *-commutative
1×frac-times sqrt-undiv associate-*l/
Counts
4 → 259
Calls
4 calls:
Slowest
58.0ms
(* (/ (/ 1 PI) t) (/ (sqrt (- 1 (* 5 (* v v)))) (sqrt (* 2 (- 1 (* 3 (* v v)))))))
28.0ms
(/ (sqrt (- 1 (* 5 (* v v)))) (sqrt (* 2 (- 1 (* 3 (* v v))))))
26.0ms
(* 3 (* v v))
15.0ms
(/ (/ 1 PI) t)

series811.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
446.0ms
(* (/ (/ 1 PI) t) (/ (sqrt (- 1 (* 5 (* v v)))) (sqrt (* 2 (- 1 (* 3 (* v v)))))))
271.0ms
(/ (sqrt (- 1 (* 5 (* v v)))) (sqrt (* 2 (- 1 (* 3 (* v v))))))
50.0ms
(* 3 (* v v))
44.0ms
(/ (/ 1 PI) t)

simplify38.6s

Counts
300 → 271
Calls
300 calls:
Slowest
784.0ms
(* (/ (* (* (/ 1 PI) (/ 1 PI)) (/ 1 PI)) (* (* t t) t)) (/ (* (* (sqrt (- 1 (* 5 (* v v)))) (sqrt (- 1 (* 5 (* v v))))) (sqrt (- 1 (* 5 (* v v))))) (* (* (sqrt (* 2 (- 1 (* 3 (* v v))))) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (sqrt (* 2 (- 1 (* 3 (* v v))))))))
668.0ms
(* (/ (/ (* (* 1 1) 1) (* (* PI PI) PI)) (* (* t t) t)) (/ (* (* (sqrt (- 1 (* 5 (* v v)))) (sqrt (- 1 (* 5 (* v v))))) (sqrt (- 1 (* 5 (* v v))))) (* (* (sqrt (* 2 (- 1 (* 3 (* v v))))) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (sqrt (* 2 (- 1 (* 3 (* v v))))))))
590.0ms
(* (* (* (/ (/ 1 PI) t) (/ (/ 1 PI) t)) (/ (/ 1 PI) t)) (/ (* (* (sqrt (- 1 (* 5 (* v v)))) (sqrt (- 1 (* 5 (* v v))))) (sqrt (- 1 (* 5 (* v v))))) (* (* (sqrt (* 2 (- 1 (* 3 (* v v))))) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (sqrt (* 2 (- 1 (* 3 (* v v))))))))
446.0ms
(* (/ (* (* (/ 1 PI) (/ 1 PI)) (/ 1 PI)) (* (* t t) t)) (* (* (/ (sqrt (- 1 (* 5 (* v v)))) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (/ (sqrt (- 1 (* 5 (* v v)))) (sqrt (* 2 (- 1 (* 3 (* v v))))))) (/ (sqrt (- 1 (* 5 (* v v)))) (sqrt (* 2 (- 1 (* 3 (* v v))))))))
442.0ms
(sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))

prune4.1s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

regimes198.0ms

Accuracy

0% (0.1b remaining)

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

bsearch7.0ms

end0.0ms

sample3.7s

Algorithm
intervals
Results
1.9s8000×body80valid
1.5s8032×body80nan