Details

Time bar (total: 2.1m)

sample109.0ms

Algorithm
intervals
Results
57.0ms256×body80valid
36.0ms268×body80nan

simplify252.0ms

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

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize36.0ms

Local error

Found 4 expressions with local error:

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

rewrite190.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×expm1-log1p-u frac-times cbrt-undiv div-exp insert-posit16 log1p-expm1-u 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
Calls
4 calls:
Slowest
129.0ms
(/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))))
40.0ms
(* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))
14.0ms
(* 5 (* v v))
5.0ms
(* PI t)

series895.0ms

Calls
4 calls:
Slowest
558.0ms
(/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))))
278.0ms
(* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))
31.0ms
(* PI t)
28.0ms
(* 5 (* v v))

simplify15.2s

Calls
71 calls:
Slowest
1.6s
(/ (* (* (- 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) (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)))))
1.1s
(/ (* (* (- 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.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)))))
685.0ms
(- (log (- 1 (* 5 (* v v)))) (+ (+ (+ (log PI) (log t)) (log (sqrt (* 2 (- 1 (* 3 (* v v))))))) (log (- 1 (* v v)))))

prune1.6s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize78.0ms

Local error

Found 4 expressions with local error:

7.9b
(/ (* (sqrt 2) t) (* v v))
7.8b
(/ (* v v) (* (* (sqrt 2) t) PI))
0.4b
(* (sqrt 2) t)
0.4b
(* (sqrt 2) t)

rewrite98.0ms

Algorithm
rewrite-expression-head
Rules
41×add-cbrt-cube add-exp-log
18×add-sqr-sqrt
15×prod-exp cbrt-unprod
12×associate-*l*
10×cbrt-undiv *-un-lft-identity div-exp add-cube-cbrt
8×pow1 sqrt-prod
6×associate-*r*
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
2×clear-num associate-/r* frac-2neg times-frac pow-prod-down *-commutative div-inv associate-/l*
Calls
4 calls:
Slowest
52.0ms
(/ (* v v) (* (* (sqrt 2) t) PI))
24.0ms
(/ (* (sqrt 2) t) (* v v))
12.0ms
(* (sqrt 2) t)
8.0ms
(* (sqrt 2) t)

series363.0ms

Calls
4 calls:
Slowest
175.0ms
(/ (* v v) (* (* (sqrt 2) t) PI))
71.0ms
(/ (* (sqrt 2) t) (* v v))
62.0ms
(* (sqrt 2) t)
55.0ms
(* (sqrt 2) t)

simplify10.0s

Calls
65 calls:
Slowest
972.0ms
(/ (* (* (* v v) v) (* (* v v) v)) (* (* (* (* (sqrt 2) t) PI) (* (* (sqrt 2) t) PI)) (* (* (sqrt 2) t) PI)))
873.0ms
(/ (* (* (* v v) (* v v)) (* v v)) (* (* (* (* (sqrt 2) t) PI) (* (* (sqrt 2) t) PI)) (* (* (sqrt 2) t) PI)))
841.0ms
(/ (* (* (* v v) (* v v)) (* v v)) (* (* (* (* (sqrt 2) (sqrt 2)) (sqrt 2)) (* (* t t) t)) (* (* PI PI) PI)))
726.0ms
(/ (* (* (* v v) (* v v)) (* v v)) (* (* (* (* (sqrt 2) t) (* (sqrt 2) t)) (* (sqrt 2) t)) (* (* PI PI) PI)))
658.0ms
(/ (* (* (* v v) v) (* (* v v) v)) (* (* (* (* (sqrt 2) (sqrt 2)) (sqrt 2)) (* (* t t) t)) (* (* PI PI) PI)))

prune1.4s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite265.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×expm1-log1p-u frac-times cbrt-undiv div-exp insert-posit16 log1p-expm1-u 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
Calls
4 calls:
Slowest
170.0ms
(/ (- 1 (* 5 (* v v))) (* (* (* t PI) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))))
55.0ms
(* (* t PI) (sqrt (* 2 (- 1 (* 3 (* v v))))))
26.0ms
(* 5 (* v v))
11.0ms
(* t PI)

series931.0ms

Calls
4 calls:
Slowest
566.0ms
(/ (- 1 (* 5 (* v v))) (* (* (* t PI) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))))
272.0ms
(* (* t PI) (sqrt (* 2 (- 1 (* 3 (* v v))))))
55.0ms
(* 5 (* v v))
37.0ms
(* t PI)

simplify15.1s

Calls
71 calls:
Slowest
1.5s
(/ (* (* (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v)))) (- 1 (* 5 (* v v)))) (* (* (* (* (* t PI) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))) (* (* (* t PI) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (* (* (* t PI) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))))
1.2s
(/ (* (* (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v)))) (- 1 (* 5 (* v v)))) (* (* (* (* (* t PI) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (* (* t PI) (sqrt (* 2 (- 1 (* 3 (* v v))))))) (* (* t PI) (sqrt (* 2 (- 1 (* 3 (* v v))))))) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v)))))
1.1s
(/ (* (* (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v)))) (- 1 (* 5 (* v v)))) (* (* (* (* (* t t) t) (* (* PI PI) PI)) (* (* (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.1s
(/ (* (* (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v)))) (- 1 (* 5 (* v v)))) (* (* (* (* (* t PI) (* t PI)) (* t PI)) (* (* (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)))))
723.0ms
(- (log (- 1 (* 5 (* v v)))) (+ (+ (+ (log t) (log PI)) (log (sqrt (* 2 (- 1 (* 3 (* v v))))))) (log (- 1 (* v v)))))

prune1.5s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize54.0ms

Local error

Found 4 expressions with local error:

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

rewrite101.0ms

Algorithm
rewrite-expression-head
Rules
810×times-frac
395×add-sqr-sqrt
394×*-un-lft-identity
390×add-cube-cbrt
132×sqrt-prod
59×associate-/l*
35×add-exp-log div-inv
25×add-cbrt-cube
18×div-exp
14×associate-/r*
10×cbrt-undiv
9×pow1
8×difference-of-squares
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp associate-/l/
3×clear-num frac-2neg associate-*l* pow-prod-down prod-exp cbrt-unprod
2×rec-exp flip3-- 1-exp associate-/r/ flip--
1×div-sub associate-*r* *-commutative unswap-sqr
Calls
4 calls:
Slowest
30.0ms
(/ (- 1 (* 5 (* v v))) (- 1 (* v v)))
26.0ms
(* 5 (* v v))
13.0ms
(/ (/ (/ 1 PI) t) (sqrt (fma -6 (* v v) 2)))
10.0ms
(/ (/ 1 PI) t)

series386.0ms

Calls
4 calls:
Slowest
204.0ms
(/ (/ (/ 1 PI) t) (sqrt (fma -6 (* v v) 2)))
81.0ms
(/ (- 1 (* 5 (* v v))) (- 1 (* v v)))
54.0ms
(/ (/ 1 PI) t)
47.0ms
(* 5 (* v v))

simplify1.1m

Calls
736 calls:
Slowest
670.0ms
(/ (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt PI)) (* (cbrt t) (cbrt t))) (* (cbrt (sqrt (fma -6 (* v v) 2))) (cbrt (sqrt (fma -6 (* v v) 2)))))
653.0ms
(/ (* (* (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v)))) (- 1 (* 5 (* v v)))) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v))))
531.0ms
(/ (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt PI) (cbrt PI))) (* (cbrt t) (cbrt t))) (sqrt 1))
509.0ms
(/ (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt PI) (cbrt PI))) (* (cbrt t) (cbrt t))) 1)
475.0ms
(/ (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt PI) (cbrt PI))) 1) (* (cbrt (sqrt (fma -6 (* v v) 2))) (cbrt (sqrt (fma -6 (* v v) 2)))))

prune6.6s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes143.0ms

Accuracy

0% (0.3b remaining)

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

bsearch4.0ms

end0.0ms

sample4.1s

Algorithm
intervals
Results
1.9s8140×body80nan
1.7s8000×body80valid