Details

Time bar (total: 2.7m)

sample122.0ms

Algorithm
intervals
Results
64.0ms256×body80valid
36.0ms254×body80nan

simplify246.0ms

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

prune16.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.4b

localize65.0ms

Local error

Found 3 expressions with local error:

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

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
33×times-frac
18×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
17×add-cbrt-cube add-exp-log
15×associate-/l*
6×cbrt-undiv div-exp
5×pow1
4×associate-*l* associate-/r/
3×expm1-log1p-u prod-exp cbrt-unprod insert-posit16 log1p-expm1-u div-inv add-log-exp
2×flip3-- *-commutative flip--
1×clear-num associate-/r* frac-2neg associate-*r* pow-prod-down sqrt-prod associate-/l/
Calls
3 calls:
Slowest
18.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI)))
12.0ms
(* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI))
0.0ms
(* t PI)

series1.0s

Calls
3 calls:
Slowest
614.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI)))
367.0ms
(* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI))
38.0ms
(* t PI)

simplify13.6s

Calls
69 calls:
Slowest
791.0ms
(/ (* (* (/ (fma -5 (* v v) 1) (- 1 (* v v))) (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (* (* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (* (* (* t PI) (* t PI)) (* t PI))))
785.0ms
(/ (/ (* (* (fma -5 (* v v) 1) (fma -5 (* v v) 1)) (fma -5 (* v v) 1)) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v)))) (* (* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (* (* (* t PI) (* t PI)) (* t PI))))
771.0ms
(/ (/ (* (* (fma -5 (* v v) 1) (fma -5 (* v v) 1)) (fma -5 (* v v) 1)) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v)))) (* (* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI)) (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI))) (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI))))
686.0ms
(/ (* (* (/ (fma -5 (* v v) 1) (- 1 (* v v))) (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (* (* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI)) (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI))) (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI))))
631.0ms
(- (+ (* 1/2 (/ (* t (* (sqrt 2) PI)) (* v (sqrt -3)))) (* t (* (sqrt 2) (* v (* (sqrt -3) PI))))) (* 1/8 (/ (* t (* (sqrt 2) PI)) (* (pow v 3) (pow (sqrt -3) 3)))))

prune1.3s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 3 expressions with local error:

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

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
361×times-frac
142×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
79×associate-/l*
46×sqrt-prod
26×associate-/r/
17×add-cbrt-cube add-exp-log div-inv
13×flip3-- flip--
9×cbrt-undiv div-exp
5×associate-/r*
3×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
2×clear-num frac-2neg associate-/l/
1×*-commutative
Calls
3 calls:
Slowest
25.0ms
(/ (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (* t PI))
16.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1))))
1.0ms
(* t PI)

series1.3s

Calls
3 calls:
Slowest
793.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1))))
480.0ms
(/ (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (* t PI))
25.0ms
(* t PI)

simplify1.1m

Calls
350 calls:
Slowest
967.0ms
(/ (/ (* (* (/ (fma -5 (* v v) 1) (- 1 (* v v))) (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (sqrt (* 2 (fma (- (* v v)) 3 1))))) (* (* (* t PI) (* t PI)) (* t PI)))
795.0ms
(/ (/ (/ (* (* (fma -5 (* v v) 1) (fma -5 (* v v) 1)) (fma -5 (* v v) 1)) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v)))) (* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (sqrt (* 2 (fma (- (* v v)) 3 1))))) (* (* (* t PI) (* t PI)) (* t PI)))
698.0ms
(/ (/ (/ (cbrt (fma -5 (* v v) 1)) (- 1 (* v v))) (cbrt (sqrt (* 2 (fma (- (* v v)) 3 1))))) PI)
671.0ms
(/ (* (* (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1))))) (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1))))) (* (* (* t PI) (* t PI)) (* t PI)))
488.0ms
(/ (/ (fma -5 (* v v) 1) (- (pow 1 3) (pow (* v v) 3))) (sqrt 2))

prune3.8s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize18.0ms

Local error

Found 4 expressions with local error:

1.0b
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1))))
1.0b
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1))))
1.0b
(sqrt (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1)))))
1.0b
(sqrt (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1)))))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
408×times-frac
206×add-sqr-sqrt
194×*-un-lft-identity add-cube-cbrt
190×sqrt-prod
36×associate-/r/
30×associate-/l*
22×div-inv
18×flip3-- flip--
14×add-cbrt-cube add-exp-log
8×associate-/r*
6×cbrt-undiv rem-sqrt-square div-exp
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
2×clear-num frac-2neg pow1/2 sqrt-div associate-/l/
Calls
4 calls:
Slowest
16.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1))))
10.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1))))
4.0ms
(sqrt (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1)))))
4.0ms
(sqrt (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1)))))

series1.9s

Calls
4 calls:
Slowest
538.0ms
(sqrt (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1)))))
523.0ms
(sqrt (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1)))))
425.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1))))
407.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1))))

simplify48.5s

Calls
434 calls:
Slowest
441.0ms
(/ (/ (* (cbrt (fma -5 (* v v) 1)) (cbrt (fma -5 (* v v) 1))) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) (sqrt (sqrt (* 2 (fma (- (* v v)) 3 1)))))
359.0ms
(sqrt (/ (/ (sqrt (fma -5 (* v v) 1)) (sqrt (- 1 (* v v)))) (sqrt (sqrt (* 2 (fma (- (* v v)) 3 1))))))
326.0ms
(/ (/ (* (* (fma -5 (* v v) 1) (fma -5 (* v v) 1)) (fma -5 (* v v) 1)) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v)))) (* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (sqrt (* 2 (fma (- (* v v)) 3 1)))))
315.0ms
(- (+ (* 4 (/ (sqrt -1/3) (* (sqrt 2) (pow v 3)))) (+ (* 4 (/ (sqrt -1/3) (* (sqrt 2) (pow v 5)))) (* 5 (/ (sqrt -1/3) (* (sqrt 2) v))))) (+ (* 5/18 (/ 1 (* (sqrt 2) (* (sqrt -1/3) (pow v 3))))) (+ (* 17/54 (/ 1 (* (sqrt 2) (* (sqrt -1/3) (pow v 5))))) (* 5/648 (/ 1 (* (sqrt 2) (* (pow (sqrt -1/3) 3) (pow v 5))))))))
314.0ms
(- (+ (* 4 (/ (sqrt -1/3) (* (sqrt 2) (pow v 3)))) (+ (* 4 (/ (sqrt -1/3) (* (sqrt 2) (pow v 5)))) (* 5 (/ (sqrt -1/3) (* (sqrt 2) v))))) (+ (* 5/18 (/ 1 (* (sqrt 2) (* (sqrt -1/3) (pow v 3))))) (+ (* 17/54 (/ 1 (* (sqrt 2) (* (sqrt -1/3) (pow v 5))))) (* 5/648 (/ 1 (* (sqrt 2) (* (pow (sqrt -1/3) 3) (pow v 5))))))))

prune4.0s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
210×times-frac
114×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
112×associate-*r*
54×sqrt-prod
34×div-inv
20×associate-/l*
17×add-cbrt-cube add-exp-log
14×associate-/r/
7×flip3-- flip--
6×pow1 associate-/r*
5×cbrt-undiv div-exp
4×expm1-log1p-u associate-*l* insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg prod-exp cbrt-unprod
2×associate-/l/
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative
Calls
4 calls:
Slowest
13.0ms
(* (/ (/ (fma -5 (* v v) 1) (sqrt 2)) t) (/ (/ (/ 1 PI) (- 1 (* v v))) (sqrt (fma (* v v) -3 1))))
6.0ms
(/ (/ (fma -5 (* v v) 1) (sqrt 2)) t)
4.0ms
(/ (fma -5 (* v v) 1) (sqrt 2))
4.0ms
(/ (/ 1 PI) (- 1 (* v v)))

series674.0ms

Calls
4 calls:
Slowest
379.0ms
(* (/ (/ (fma -5 (* v v) 1) (sqrt 2)) t) (/ (/ (/ 1 PI) (- 1 (* v v))) (sqrt (fma (* v v) -3 1))))
114.0ms
(/ (fma -5 (* v v) 1) (sqrt 2))
106.0ms
(/ (/ (fma -5 (* v v) 1) (sqrt 2)) t)
74.0ms
(/ (/ 1 PI) (- 1 (* v v)))

simplify15.2s

Calls
209 calls:
Slowest
433.0ms
(/ (/ (/ 1 PI) (- 1 (* v v))) (sqrt (sqrt (fma (* v v) -3 1))))
432.0ms
(* (* (* (/ (/ (fma -5 (* v v) 1) (sqrt 2)) t) (/ (/ (fma -5 (* v v) 1) (sqrt 2)) t)) (/ (/ (fma -5 (* v v) 1) (sqrt 2)) t)) (/ (/ (* (* (/ 1 PI) (/ 1 PI)) (/ 1 PI)) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v)))) (* (* (sqrt (fma (* v v) -3 1)) (sqrt (fma (* v v) -3 1))) (sqrt (fma (* v v) -3 1)))))
322.0ms
(* (* (* (/ (/ (fma -5 (* v v) 1) (sqrt 2)) t) (/ (/ (fma -5 (* v v) 1) (sqrt 2)) t)) (/ (/ (fma -5 (* v v) 1) (sqrt 2)) t)) (/ (* (* (/ (/ 1 PI) (- 1 (* v v))) (/ (/ 1 PI) (- 1 (* v v)))) (/ (/ 1 PI) (- 1 (* v v)))) (* (* (sqrt (fma (* v v) -3 1)) (sqrt (fma (* v v) -3 1))) (sqrt (fma (* v v) -3 1)))))
309.0ms
(/ (* (* (/ 1 PI) (/ 1 PI)) (/ 1 PI)) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v))))
283.0ms
(* (* (* (/ (/ (fma -5 (* v v) 1) (sqrt 2)) t) (/ (/ (fma -5 (* v v) 1) (sqrt 2)) t)) (/ (/ (fma -5 (* v v) 1) (sqrt 2)) t)) (* (* (/ (/ (/ 1 PI) (- 1 (* v v))) (sqrt (fma (* v v) -3 1))) (/ (/ (/ 1 PI) (- 1 (* v v))) (sqrt (fma (* v v) -3 1)))) (/ (/ (/ 1 PI) (- 1 (* v v))) (sqrt (fma (* v v) -3 1)))))

prune2.0s

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 0b

regimes94.0ms

Accuracy

0% (0.3b remaining)

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

bsearch3.0ms

end0.0ms

sample2.5s

Algorithm
intervals
Results
1.2s8026×body80nan
1.1s8000×body80valid