Details

Time bar (total: 3.2m)

sample131.0ms

Algorithm
intervals
Results
54.0ms256×body80valid
49.0ms240×body80nan

simplify277.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))))

prune21.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.6b

localize36.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI))
0.4b
(/ (/ (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)

rewrite81.0ms

Algorithm
rewrite-expression-head
Rules
51×times-frac
33×add-sqr-sqrt
32×add-cbrt-cube add-exp-log
31×*-un-lft-identity
25×add-cube-cbrt
21×associate-/l*
12×difference-of-squares
11×pow1
10×prod-exp cbrt-unprod
9×cbrt-undiv div-exp
7×associate-*l*
4×expm1-log1p-u associate-*r* pow-prod-down associate-/r/ insert-posit16 log1p-expm1-u add-log-exp
3×div-inv
2×flip3-- *-commutative flip--
1×clear-num associate-/r* frac-2neg sqrt-prod fma-udef unswap-sqr associate-/l/
Counts
4 → 123
Calls
4 calls:
Slowest
46.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI)))
27.0ms
(* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI))
6.0ms
(* t PI)
0.0ms
(fma -5 (* v v) 1)

series1.0s

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

simplify21.6s

Counts
106 → 135
Calls
106 calls:
Slowest
962.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))))
907.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))))
864.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))))
836.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))))
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))) (* t PI)) (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI))) (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI))))

prune1.8s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 4 expressions with local error:

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

rewrite184.0ms

Algorithm
rewrite-expression-head
Rules
51×times-frac
33×add-sqr-sqrt
32×add-cbrt-cube add-exp-log
31×*-un-lft-identity
25×add-cube-cbrt
21×associate-/l*
12×difference-of-squares
11×pow1
10×prod-exp cbrt-unprod
9×cbrt-undiv div-exp
6×associate-*r*
5×associate-*l*
4×expm1-log1p-u pow-prod-down associate-/r/ insert-posit16 log1p-expm1-u add-log-exp
3×div-inv
2×flip3-- *-commutative flip--
1×clear-num associate-/r* frac-2neg sqrt-prod fma-udef unswap-sqr associate-/l/
Counts
4 → 123
Calls
4 calls:
Slowest
87.0ms
(* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) t) PI)
63.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) t) PI))
29.0ms
(* (sqrt (* 2 (fma (- (* v v)) 3 1))) t)
1.0ms
(fma -5 (* v v) 1)

series1.4s

Counts
4 → 12
Calls
4 calls:
Slowest
600.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) t) PI))
423.0ms
(* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) t) PI)
271.0ms
(* (sqrt (* 2 (fma (- (* v v)) 3 1))) t)
103.0ms
(fma -5 (* v v) 1)

simplify23.1s

Counts
106 → 135
Calls
106 calls:
Slowest
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.1s
(/ (* (* (/ (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.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)))
997.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)))
939.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)))

prune1.9s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize84.0ms

Local error

Found 4 expressions with local error:

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

rewrite326.0ms

Algorithm
rewrite-expression-head
Rules
283×times-frac
247×add-exp-log
177×add-sqr-sqrt
156×*-un-lft-identity
143×add-cube-cbrt
113×div-exp
112×add-cbrt-cube
102×associate-*r*
88×prod-exp
70×cbrt-prod
58×cbrt-undiv
46×cbrt-unprod
42×cbrt-div associate-*l*
39×sqrt-prod
26×difference-of-squares
25×associate-/l*
23×associate-*l/
22×associate-/r/
21×flip3-- flip--
15×pow1
13×frac-times rec-exp 1-exp
10×div-inv
8×swap-sqr unswap-sqr
7×associate-/r* associate-*r/
6×pow1/3
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow-prod-down pow-flip
2×clear-num frac-2neg pow-sqr *-commutative pow-prod-up
1×pow2 sqrt-pow1 pow-plus pow1/2 inv-pow associate-/l/
Counts
4 → 397
Calls
4 calls:
Slowest
193.0ms
(* (/ (/ 1 (sqrt (fma (* v -6) v 2))) (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) t)) (/ (/ (fma -5 (* v v) 1) (cbrt (- 1 (* v v)))) PI))
64.0ms
(/ (/ 1 (sqrt (fma (* v -6) v 2))) (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) t))
46.0ms
(* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))
5.0ms
(/ 1 (sqrt (fma (* v -6) v 2)))

series1.4s

Counts
4 → 12
Calls
4 calls:
Slowest
573.0ms
(/ (/ 1 (sqrt (fma (* v -6) v 2))) (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) t))
523.0ms
(* (/ (/ 1 (sqrt (fma (* v -6) v 2))) (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) t)) (/ (/ (fma -5 (* v v) 1) (cbrt (- 1 (* v v)))) PI))
146.0ms
(* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))
143.0ms
(/ 1 (sqrt (fma (* v -6) v 2)))

simplify1.2m

Counts
415 → 409
Calls
415 calls:
Slowest
2.0s
(* (/ (* (* (/ 1 (sqrt (fma (* v -6) v 2))) (/ 1 (sqrt (fma (* v -6) v 2)))) (/ 1 (sqrt (fma (* v -6) v 2)))) (* (* (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) t) (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) t)) (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) t))) (* (* (/ (/ (fma -5 (* v v) 1) (cbrt (- 1 (* v v)))) PI) (/ (/ (fma -5 (* v v) 1) (cbrt (- 1 (* v v)))) PI)) (/ (/ (fma -5 (* v v) 1) (cbrt (- 1 (* v v)))) PI)))
1.9s
(* (/ (* (* (/ 1 (sqrt (fma (* v -6) v 2))) (/ 1 (sqrt (fma (* v -6) v 2)))) (/ 1 (sqrt (fma (* v -6) v 2)))) (* (* (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) t) (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) t)) (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) t))) (/ (* (* (/ (fma -5 (* v v) 1) (cbrt (- 1 (* v v)))) (/ (fma -5 (* v v) 1) (cbrt (- 1 (* v v))))) (/ (fma -5 (* v v) 1) (cbrt (- 1 (* v v))))) (* (* PI PI) PI)))
1.8s
(* (/ (/ (* (* 1 1) 1) (* (* (sqrt (fma (* v -6) v 2)) (sqrt (fma (* v -6) v 2))) (sqrt (fma (* v -6) v 2)))) (* (* (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) t) (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) t)) (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) t))) (/ (* (* (/ (fma -5 (* v v) 1) (cbrt (- 1 (* v v)))) (/ (fma -5 (* v v) 1) (cbrt (- 1 (* v v))))) (/ (fma -5 (* v v) 1) (cbrt (- 1 (* v v))))) (* (* PI PI) PI)))
1.8s
(* (/ (* (* (/ 1 (sqrt (fma (* v -6) v 2))) (/ 1 (sqrt (fma (* v -6) v 2)))) (/ 1 (sqrt (fma (* v -6) v 2)))) (* (* (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) (* (* t t) t))) (/ (* (* (/ (fma -5 (* v v) 1) (cbrt (- 1 (* v v)))) (/ (fma -5 (* v v) 1) (cbrt (- 1 (* v v))))) (/ (fma -5 (* v v) 1) (cbrt (- 1 (* v v))))) (* (* PI PI) PI)))
1.7s
(* (/ (* (* (/ 1 (sqrt (fma (* v -6) v 2))) (/ 1 (sqrt (fma (* v -6) v 2)))) (/ 1 (sqrt (fma (* v -6) v 2)))) (* (* (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) t) (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) t)) (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) t))) (/ (/ (* (* (fma -5 (* v v) 1) (fma -5 (* v v) 1)) (fma -5 (* v v) 1)) (- 1 (* v v))) (* (* PI PI) PI)))

prune6.8s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize81.0ms

Local error

Found 4 expressions with local error:

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

rewrite119.0ms

Algorithm
rewrite-expression-head
Rules
222×times-frac
102×add-sqr-sqrt
99×cbrt-prod
94×*-un-lft-identity
75×add-cube-cbrt
62×associate-/l*
60×add-exp-log
41×add-cbrt-cube
38×difference-of-squares
30×cbrt-div
27×cbrt-undiv div-exp
19×div-inv
16×prod-exp cbrt-unprod
15×flip3-- flip--
12×associate-*l/ associate-/r/
11×pow1
8×frac-times swap-sqr associate-*r* associate-*l*
7×pow1/3
4×expm1-log1p-u associate-*r/ insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 clear-num associate-/r* frac-2neg pow-plus *-commutative fma-udef associate-/l/
Counts
4 → 257
Calls
4 calls:
Slowest
72.0ms
(/ (/ (/ (fma -5 (* v v) 1) (* PI (sqrt (fma v (* -6 v) 2)))) (cbrt (- 1 (* v v)))) (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) t))
39.0ms
(* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))
2.0ms
(cbrt (- 1 (* v v)))
0.0ms
(fma -5 (* v v) 1)

series913.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
540.0ms
(/ (/ (/ (fma -5 (* v v) 1) (* PI (sqrt (fma v (* -6 v) 2)))) (cbrt (- 1 (* v v)))) (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) t))
158.0ms
(* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))
146.0ms
(cbrt (- 1 (* v v)))
68.0ms
(fma -5 (* v v) 1)

simplify45.2s

Counts
301 → 269
Calls
301 calls:
Slowest
1.2s
(/ (/ (/ (* (* (fma -5 (* v v) 1) (fma -5 (* v v) 1)) (fma -5 (* v v) 1)) (* (* (* PI (sqrt (fma v (* -6 v) 2))) (* PI (sqrt (fma v (* -6 v) 2)))) (* PI (sqrt (fma v (* -6 v) 2))))) (- 1 (* v v))) (* (* (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) (* (* t t) t)))
1.1s
(/ (/ (/ (* (* (fma -5 (* v v) 1) (fma -5 (* v v) 1)) (fma -5 (* v v) 1)) (* (* (* PI (sqrt (fma v (* -6 v) 2))) (* PI (sqrt (fma v (* -6 v) 2)))) (* PI (sqrt (fma v (* -6 v) 2))))) (- 1 (* v v))) (* (* (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) t) (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) t)) (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) t)))
1.1s
(/ (/ (/ (* (* (fma -5 (* v v) 1) (fma -5 (* v v) 1)) (fma -5 (* v v) 1)) (* (* (* PI (sqrt (fma v (* -6 v) 2))) (* PI (sqrt (fma v (* -6 v) 2)))) (* PI (sqrt (fma v (* -6 v) 2))))) (- 1 (* v v))) (* (* (- 1 (* v v)) (- 1 (* v v))) (* (* t t) t)))
1.1s
(/ (/ (/ (* (* (fma -5 (* v v) 1) (fma -5 (* v v) 1)) (fma -5 (* v v) 1)) (* (* (* PI PI) PI) (* (* (sqrt (fma v (* -6 v) 2)) (sqrt (fma v (* -6 v) 2))) (sqrt (fma v (* -6 v) 2))))) (- 1 (* v v))) (* (* (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) (* (* t t) t)))
963.0ms
(/ (* (* (/ (/ (fma -5 (* v v) 1) (* PI (sqrt (fma v (* -6 v) 2)))) (cbrt (- 1 (* v v)))) (/ (/ (fma -5 (* v v) 1) (* PI (sqrt (fma v (* -6 v) 2)))) (cbrt (- 1 (* v v))))) (/ (/ (fma -5 (* v v) 1) (* PI (sqrt (fma v (* -6 v) 2)))) (cbrt (- 1 (* v v))))) (* (* (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) t) (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) t)) (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) t)))

prune4.7s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

regimes232.0ms

Accuracy

0% (0.1b remaining)

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

bsearch4.0ms

end0.0ms

sample3.9s

Algorithm
intervals
Results
2.0s8032×body80nan
1.6s8000×body80valid