Details

Time bar (total: 1.2m)

sample102.0ms

Algorithm
intervals
Results
47.0ms256×body80valid
36.0ms255×body80nan

simplify276.0ms

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

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize55.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
(* 5 (* v v))

rewrite229.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
138.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))))))
26.0ms
(* 5 (* v v))
10.0ms
(* PI t)

series846.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
562.0ms
(/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))))
233.0ms
(* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))
28.0ms
(* 5 (* v v))
22.0ms
(* PI t)

simplify12.9s

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.1s
(/ (* (* (- 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)))))
945.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)))))
831.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)))))
414.0ms
(* (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))) (+ 1 (* v v)))

prune1.3s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize39.0ms

Local error

Found 4 expressions with local error:

0.4b
(* t (sqrt (* 2 (- 1 (* 3 (* v v))))))
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
(* 5 (* v v))

rewrite386.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
261.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)))))))
44.0ms
(* t (sqrt (* 2 (- 1 (* 3 (* v v))))))
25.0ms
(* 5 (* v v))

series965.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
494.0ms
(/ (- 1 (* 5 (* v v))) (* (* PI (* t (sqrt (* 2 (- 1 (* 3 (* v v))))))) (- 1 (* v v))))
265.0ms
(* PI (* t (sqrt (* 2 (- 1 (* 3 (* v v)))))))
180.0ms
(* t (sqrt (* 2 (- 1 (* 3 (* v v))))))
26.0ms
(* 5 (* v v))

simplify15.6s

Counts
74 → 112
Calls
74 calls:
Slowest
1.1s
(/ (* (* (- 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)))))
1.0s
(/ (* (* (- 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)))))
912.0ms
(* (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))) (+ 1 (* v v)))
828.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)))))

prune1.5s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.1b

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

rewrite124.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
52.0ms
(* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))
46.0ms
(/ (sqrt (- 1 (* 5 (* v v)))) (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))))
13.0ms
(* 5 (* v v))
10.0ms
(* PI t)

series627.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
329.0ms
(/ (sqrt (- 1 (* 5 (* v v)))) (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))))
235.0ms
(* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))
40.0ms
(* 5 (* v v))
23.0ms
(* PI t)

simplify9.9s

Counts
71 → 107
Calls
71 calls:
Slowest
746.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))))))))
695.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))))))))
539.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))))))))
402.0ms
(+ (/ (sqrt 5/3) (* t (* (sqrt 2) PI))) (* 1/9 (/ 1 (* t (* (sqrt 2) (* (pow v 2) (* (sqrt 5/3) PI)))))))
391.0ms
(+ (/ (sqrt 5/3) (* t (* (sqrt 2) PI))) (* 1/9 (/ 1 (* t (* (sqrt 2) (* (pow v 2) (* (sqrt 5/3) PI)))))))

prune1.5s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize78.0ms

Local error

Found 4 expressions with local error:

3.8b
(/ (* (* v v) (* (* v v) 7/2)) (* (* (sqrt 2) PI) t))
0.3b
(* (* (sqrt 2) PI) t)
0.2b
(* (* v v) 7/2)
0.2b
(* 5 (* v v))

rewrite175.0ms

Algorithm
rewrite-expression-head
Rules
127×add-cbrt-cube add-exp-log
75×prod-exp cbrt-unprod
21×cbrt-undiv div-exp
19×pow1
9×add-sqr-sqrt pow-prod-down
7×*-un-lft-identity associate-*r* add-cube-cbrt
5×associate-*l*
4×insert-posit16 add-log-exp
3×*-commutative
2×unswap-sqr
1×clear-num associate-/r* frac-2neg times-frac div-inv associate-/l*
Counts
4 → 115
Calls
4 calls:
Slowest
94.0ms
(/ (* (* v v) (* (* v v) 7/2)) (* (* (sqrt 2) PI) t))
28.0ms
(* (* v v) 7/2)
26.0ms
(* 5 (* v v))
21.0ms
(* (* (sqrt 2) PI) t)

series339.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
161.0ms
(/ (* (* v v) (* (* v v) 7/2)) (* (* (sqrt 2) PI) t))
91.0ms
(* (* (sqrt 2) PI) t)
52.0ms
(* 5 (* v v))
35.0ms
(* (* v v) 7/2)

simplify17.7s

Counts
86 → 127
Calls
86 calls:
Slowest
3.1s
(/ (* (* (* (* v v) (* (* v v) 7/2)) (* (* v v) (* (* v v) 7/2))) (* (* v v) (* (* v v) 7/2))) (* (* (* (* (sqrt 2) PI) (* (sqrt 2) PI)) (* (sqrt 2) PI)) (* (* t t) t)))
638.0ms
(- (+ (log (* v v)) (+ (log (* v v)) (log 7/2))) (+ (+ (log (sqrt 2)) (log PI)) (log t)))
599.0ms
(- (+ (+ (log v) (log v)) (+ (+ (log v) (log v)) (log 7/2))) (+ (+ (log (sqrt 2)) (log PI)) (log t)))
587.0ms
(- (+ (+ (log v) (log v)) (+ (log (* v v)) (log 7/2))) (+ (+ (log (sqrt 2)) (log PI)) (log t)))
579.0ms
(- (+ (log (* v v)) (+ (log (* v v)) (log 7/2))) (log (* (* (sqrt 2) PI) t)))

prune2.3s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

regimes208.0ms

Accuracy

0% (0.2b remaining)

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

bsearch11.0ms

end0.0ms

sample4.0s

Algorithm
intervals
Results
2.1s8000×body80valid
1.6s8148×body80nan