Details

Time bar (total: 3.5m)

sample114.0ms

Algorithm
intervals
Results
48.0ms263×body80nan
48.0ms256×body80valid

simplify223.0ms

Calls
1 calls:
Slowest
223.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

localize56.0ms

Local error

Found 4 expressions with local error:

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

rewrite145.0ms

Algorithm
rewrite-expression-head
Rules
66×times-frac
47×add-sqr-sqrt
45×*-un-lft-identity
35×add-cube-cbrt
34×add-cbrt-cube add-exp-log
24×associate-/l*
20×difference-of-squares
11×pow1
10×cbrt-undiv div-exp prod-exp cbrt-unprod
7×associate-*l*
6×associate-/r* associate-/r/
4×expm1-log1p-u associate-*r* pow-prod-down insert-posit16 log1p-expm1-u div-inv add-log-exp
3×flip3-- flip--
2×clear-num frac-2neg *-commutative
1×sqrt-prod unswap-sqr associate-/l/
Calls
4 calls:
Slowest
60.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI)))
53.0ms
(* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI))
15.0ms
(/ (fma -5 (* v v) 1) (- 1 (* v v)))
12.0ms
(* t PI)

series1.2s

Calls
4 calls:
Slowest
593.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI)))
454.0ms
(* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI))
81.0ms
(/ (fma -5 (* v v) 1) (- 1 (* v v)))
38.0ms
(* t PI)

simplify23.7s

Calls
147 calls:
Slowest
970.0ms
(- (* 1/8 (/ (* t (* (sqrt 2) PI)) (* (pow v 3) (pow (sqrt -3) 3)))) (+ (* 1/2 (/ (* t (* (sqrt 2) PI)) (* v (sqrt -3)))) (* t (* (sqrt 2) (* v (* (sqrt -3) PI))))))
928.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 t) t) (* (* PI PI) PI))))
918.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))))
918.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))))
888.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))))

prune2.2s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize33.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))))
0.5b
(/ (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (* t PI))
0.3b
(* t PI)
0.0b
(/ (fma -5 (* v v) 1) (- 1 (* v v)))

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
550×times-frac
244×add-sqr-sqrt
242×*-un-lft-identity
199×add-cube-cbrt
112×associate-/l*
86×difference-of-squares
64×sqrt-prod
34×add-cbrt-cube add-exp-log
28×associate-/r/
18×div-inv
16×cbrt-undiv div-exp
14×flip3-- flip--
10×associate-/r*
6×pow1
4×expm1-log1p-u prod-exp cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg associate-*r* associate-*l*
2×associate-/l/
1×pow-prod-down *-commutative unswap-sqr
Calls
4 calls:
Slowest
30.0ms
(/ (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (* t PI))
17.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1))))
8.0ms
(/ (fma -5 (* v v) 1) (- 1 (* v v)))
6.0ms
(* t PI)

series1.1s

Calls
4 calls:
Slowest
594.0ms
(/ (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (* t PI))
404.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1))))
86.0ms
(/ (fma -5 (* v v) 1) (- 1 (* v v)))
21.0ms
(* t PI)

simplify1.8m

Calls
535 calls:
Slowest
929.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 t) t) (* (* PI PI) PI)))
857.0ms
(/ (/ (fma -5 (* v v) 1) (- (pow 1 3) (pow (* v v) 3))) (* (cbrt (sqrt (* 2 (fma (- (* v v)) 3 1)))) (cbrt (sqrt (* 2 (fma (- (* v v)) 3 1))))))
822.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)))
819.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)))
805.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)))

prune5.8s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize61.0ms

Local error

Found 4 expressions with local error:

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

rewrite194.0ms

Algorithm
rewrite-expression-head
Rules
66×times-frac
47×add-sqr-sqrt
45×*-un-lft-identity
35×add-cube-cbrt
34×add-cbrt-cube add-exp-log
24×associate-/l*
20×difference-of-squares
11×pow1
10×cbrt-undiv div-exp prod-exp cbrt-unprod
6×associate-/r* associate-*r* associate-/r/
5×associate-*l*
4×expm1-log1p-u pow-prod-down insert-posit16 log1p-expm1-u div-inv add-log-exp
3×flip3-- flip--
2×clear-num frac-2neg *-commutative
1×sqrt-prod unswap-sqr associate-/l/
Calls
4 calls:
Slowest
92.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) t) PI))
62.0ms
(* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) t) PI)
20.0ms
(* (sqrt (* 2 (fma (- (* v v)) 3 1))) t)
15.0ms
(/ (fma -5 (* v v) 1) (- 1 (* v v)))

series1.4s

Calls
4 calls:
Slowest
570.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) t) PI))
446.0ms
(* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) t) PI)
299.0ms
(* (sqrt (* 2 (fma (- (* v v)) 3 1))) t)
73.0ms
(/ (fma -5 (* v v) 1) (- 1 (* v v)))

simplify25.7s

Calls
147 calls:
Slowest
1.3s
(/ (* (* (/ (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 t) t)) (* (* PI PI) PI)))
1.2s
(/ (/ (* (* (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 t) t)) (* (* PI PI) PI)))
1.0s
(/ (/ (* (* (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)))
951.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)))
924.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) (* (sqrt (* 2 (fma (- (* v v)) 3 1))) t)) (* (sqrt (* 2 (fma (- (* v v)) 3 1))) t)) (* (* PI PI) PI)))

prune2.2s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize62.0ms

Local error

Found 4 expressions with local error:

5.8b
(/ (* v v) (* (* (sqrt 2) t) PI))
5.6b
(/ (* (sqrt 2) t) (* v v))
0.5b
(/ 53/8 (* (/ PI (* v v)) (/ (* (sqrt 2) t) (* v v))))
0.4b
(* (sqrt 2) t)

rewrite140.0ms

Algorithm
rewrite-expression-head
Rules
125×add-cbrt-cube add-exp-log
48×cbrt-undiv div-exp
46×prod-exp cbrt-unprod
13×add-sqr-sqrt
9×*-un-lft-identity add-cube-cbrt
6×pow1 associate-*l*
5×times-frac associate-/l*
4×expm1-log1p-u sqrt-prod insert-posit16 log1p-expm1-u add-log-exp
3×clear-num associate-/r* frac-2neg associate-*r* associate-/r/ div-inv
2×unswap-sqr
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative
Calls
4 calls:
Slowest
59.0ms
(/ (* v v) (* (* (sqrt 2) t) PI))
45.0ms
(/ 53/8 (* (/ PI (* v v)) (/ (* (sqrt 2) t) (* v v))))
26.0ms
(/ (* (sqrt 2) t) (* v v))
8.0ms
(* (sqrt 2) t)

series513.0ms

Calls
4 calls:
Slowest
192.0ms
(/ 53/8 (* (/ PI (* v v)) (/ (* (sqrt 2) t) (* v v))))
180.0ms
(/ (* v v) (* (* (sqrt 2) t) PI))
77.0ms
(/ (* (sqrt 2) t) (* v v))
64.0ms
(* (sqrt 2) t)

simplify32.4s

Calls
95 calls:
Slowest
2.1s
(/ (* (* 53/8 53/8) 53/8) (* (/ (* (* PI PI) PI) (* (* (* v v) (* v v)) (* v v))) (/ (* (* (* (sqrt 2) t) (* (sqrt 2) t)) (* (sqrt 2) t)) (* (* (* v v) (* v v)) (* v v)))))
2.1s
(/ (* (* 53/8 53/8) 53/8) (* (/ (* (* PI PI) PI) (* (* (* v v) v) (* (* v v) v))) (/ (* (* (* (sqrt 2) t) (* (sqrt 2) t)) (* (sqrt 2) t)) (* (* (* v v) v) (* (* v v) v)))))
1.6s
(/ (* (* 53/8 53/8) 53/8) (* (* (* (/ PI (* v v)) (/ PI (* v v))) (/ PI (* v v))) (/ (* (* (* (sqrt 2) t) (* (sqrt 2) t)) (* (sqrt 2) t)) (* (* (* v v) (* v v)) (* v v)))))
1.5s
(/ (* (* 53/8 53/8) 53/8) (* (* (* (/ PI (* v v)) (/ PI (* v v))) (/ PI (* v v))) (/ (* (* (* (sqrt 2) (sqrt 2)) (sqrt 2)) (* (* t t) t)) (* (* (* v v) v) (* (* v v) v)))))
1.5s
(/ (* (* 53/8 53/8) 53/8) (* (/ (* (* PI PI) PI) (* (* (* v v) (* v v)) (* v v))) (* (* (/ (* (sqrt 2) t) (* v v)) (/ (* (sqrt 2) t) (* v v))) (/ (* (sqrt 2) t) (* v v)))))

prune2.3s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes133.0ms

Accuracy

0% (0.4b remaining)

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

bsearch6.0ms

end0.0ms

sample3.7s

Algorithm
intervals
Results
1.9s8002×body80nan
1.5s8000×body80valid