Details

Time bar (total: 3.8m)

sample139.0ms

Algorithm
intervals
Results
45.0ms273×body80nan
44.0ms256×body80valid

simplify260.0ms

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

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize43.0ms

Local error

Found 4 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.2b
(* t PI)
0.0b
(/ (fma -5 (* v v) 1) (- 1 (* v v)))

rewrite87.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/
Counts
4 → 152
Calls
4 calls:
Slowest
36.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI)))
23.0ms
(* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI))
14.0ms
(/ (fma -5 (* v v) 1) (- 1 (* v v)))
10.0ms
(* t PI)

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
563.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI)))
428.0ms
(* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI))
77.0ms
(/ (fma -5 (* v v) 1) (- 1 (* v v)))
38.0ms
(* t PI)

simplify24.9s

Counts
147 → 164
Calls
147 calls:
Slowest
1.0s
(/ (* (* (/ (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))))
979.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))))
910.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))))
894.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))))
784.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))))

prune2.0s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize60.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.2b
(* t PI)
0.0b
(/ (fma -5 (* v v) 1) (- 1 (* v v)))

rewrite126.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
Counts
4 → 391
Calls
4 calls:
Slowest
50.0ms
(/ (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (* t PI))
40.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1))))
15.0ms
(/ (fma -5 (* v v) 1) (- 1 (* v v)))
11.0ms
(* t PI)

series1.2s

Counts
4 → 12
Calls
4 calls:
Slowest
590.0ms
(/ (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (* t PI))
470.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1))))
87.0ms
(/ (fma -5 (* v v) 1) (- 1 (* v v)))
32.0ms
(* t PI)

simplify1.8m

Counts
535 → 403
Calls
535 calls:
Slowest
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))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (sqrt (* 2 (fma (- (* v v)) 3 1))))) (* (* (* t t) t) (* (* PI PI) PI)))
839.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)))
781.0ms
(- (+ (* 5 (/ (sqrt -1/3) (* t (* (sqrt 2) (* v PI))))) (* 4 (/ (sqrt -1/3) (* t (* (sqrt 2) (* (pow v 3) PI)))))) (* 5/18 (/ 1 (* t (* (sqrt 2) (* (sqrt -1/3) (* (pow v 3) PI)))))))
760.0ms
(/ (/ (/ (sqrt (fma -5 (* v v) 1)) (- (sqrt 1) v)) (sqrt (sqrt (* 2 (fma (- (* v v)) 3 1))))) PI)
737.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

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize39.0ms

Local error

Found 4 expressions with local error:

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

rewrite116.0ms

Algorithm
rewrite-expression-head
Rules
387×times-frac
263×add-sqr-sqrt
198×*-un-lft-identity
191×add-cube-cbrt
114×sqrt-prod
109×add-exp-log
73×associate-*l*
67×add-cbrt-cube
63×associate-*r*
57×div-exp
31×cbrt-undiv
26×prod-exp
25×associate-/l*
19×unswap-sqr
17×div-inv
16×cbrt-unprod
15×associate-*r/
12×associate-/r/
10×pow1
9×associate-/r*
7×flip3-- flip--
6×rec-exp 1-exp prod-diff
5×distribute-rgt-in distribute-lft-in
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow-flip
2×clear-num sub-neg frac-2neg pow-prod-down *-commutative difference-of-squares
1×frac-times sqrt-pow1 pow1/2 associate-*l/ inv-pow associate-/l/
Counts
4 → 387
Calls
4 calls:
Slowest
72.0ms
(* (/ (/ 1 (sqrt 2)) t) (/ (/ (fma (* v v) -5 1) (* PI (- 1 (* v v)))) (sqrt (fma (* v v) -3 1))))
23.0ms
(* PI (- 1 (* v v)))
9.0ms
(/ (/ 1 (sqrt 2)) t)
5.0ms
(/ 1 (sqrt 2))

series821.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
620.0ms
(* (/ (/ 1 (sqrt 2)) t) (/ (/ (fma (* v v) -5 1) (* PI (- 1 (* v v)))) (sqrt (fma (* v v) -3 1))))
110.0ms
(* PI (- 1 (* v v)))
91.0ms
(/ (/ 1 (sqrt 2)) t)
0.0ms
(/ 1 (sqrt 2))

simplify51.9s

Counts
444 → 397
Calls
444 calls:
Slowest
1.4s
(* (/ (* (* (/ 1 (sqrt 2)) (/ 1 (sqrt 2))) (/ 1 (sqrt 2))) (* (* t t) t)) (/ (/ (* (* (fma (* v v) -5 1) (fma (* v v) -5 1)) (fma (* v v) -5 1)) (* (* (* PI (- 1 (* v v))) (* PI (- 1 (* v v)))) (* PI (- 1 (* v v))))) (* (* (sqrt (fma (* v v) -3 1)) (sqrt (fma (* v v) -3 1))) (sqrt (fma (* v v) -3 1)))))
1.3s
(* (/ (* (* (/ 1 (sqrt 2)) (/ 1 (sqrt 2))) (/ 1 (sqrt 2))) (* (* t t) t)) (/ (/ (* (* (fma (* v v) -5 1) (fma (* v v) -5 1)) (fma (* v v) -5 1)) (* (* (* PI PI) 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)))))
1.2s
(* (/ (* (* (/ 1 (sqrt 2)) (/ 1 (sqrt 2))) (/ 1 (sqrt 2))) (* (* t t) t)) (/ (* (* (/ (fma (* v v) -5 1) (* PI (- 1 (* v v)))) (/ (fma (* v v) -5 1) (* PI (- 1 (* v v))))) (/ (fma (* v v) -5 1) (* PI (- 1 (* v v))))) (* (* (sqrt (fma (* v v) -3 1)) (sqrt (fma (* v v) -3 1))) (sqrt (fma (* v v) -3 1)))))
1.1s
(* (/ (/ (* (* 1 1) 1) (* (* (sqrt 2) (sqrt 2)) (sqrt 2))) (* (* t t) t)) (/ (/ (* (* (fma (* v v) -5 1) (fma (* v v) -5 1)) (fma (* v v) -5 1)) (* (* (* PI (- 1 (* v v))) (* PI (- 1 (* v v)))) (* PI (- 1 (* v v))))) (* (* (sqrt (fma (* v v) -3 1)) (sqrt (fma (* v v) -3 1))) (sqrt (fma (* v v) -3 1)))))
1.0s
(* (/ (/ (* (* 1 1) 1) (* (* (sqrt 2) (sqrt 2)) (sqrt 2))) (* (* t t) t)) (/ (/ (* (* (fma (* v v) -5 1) (fma (* v v) -5 1)) (fma (* v v) -5 1)) (* (* (* PI PI) 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)))))

prune3.7s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
112×times-frac
53×add-sqr-sqrt
49×add-cbrt-cube add-exp-log
48×*-un-lft-identity
38×add-cube-cbrt
28×associate-/l*
23×cbrt-undiv div-exp
20×difference-of-squares
10×prod-exp cbrt-unprod
7×pow1 sqrt-prod
6×associate-/r* associate-*r* associate-/r/ div-inv
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×flip3-- associate-*l* flip--
2×clear-num frac-2neg unswap-sqr
1×rem-sqrt-square sqrt-pow1 pow1/2 pow-prod-down *-commutative associate-/l/
Counts
4 → 166
Calls
4 calls:
Slowest
30.0ms
(/ (/ (/ (fma (* v v) -5 1) (- 1 (* v v))) (* (sqrt 2) PI)) (* t (sqrt (fma (* v v) -3 1))))
7.0ms
(/ (fma (* v v) -5 1) (- 1 (* v v)))
7.0ms
(* t (sqrt (fma (* v v) -3 1)))
1.0ms
(sqrt (fma (* v v) -3 1))

series605.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
405.0ms
(/ (/ (/ (fma (* v v) -5 1) (- 1 (* v v))) (* (sqrt 2) PI)) (* t (sqrt (fma (* v v) -3 1))))
86.0ms
(* t (sqrt (fma (* v v) -3 1)))
61.0ms
(/ (fma (* v v) -5 1) (- 1 (* v v)))
53.0ms
(sqrt (fma (* v v) -3 1))

simplify21.5s

Counts
169 → 178
Calls
169 calls:
Slowest
734.0ms
(/ (/ (* (* (/ (fma (* v v) -5 1) (- 1 (* v v))) (/ (fma (* v v) -5 1) (- 1 (* v v)))) (/ (fma (* v v) -5 1) (- 1 (* v v)))) (* (* (* (sqrt 2) (sqrt 2)) (sqrt 2)) (* (* PI PI) PI))) (* (* (* t (sqrt (fma (* v v) -3 1))) (* t (sqrt (fma (* v v) -3 1)))) (* t (sqrt (fma (* v v) -3 1)))))
713.0ms
(/ (/ (* (* (/ (fma (* v v) -5 1) (- 1 (* v v))) (/ (fma (* v v) -5 1) (- 1 (* v v)))) (/ (fma (* v v) -5 1) (- 1 (* v v)))) (* (* (* (sqrt 2) PI) (* (sqrt 2) PI)) (* (sqrt 2) PI))) (* (* (* t t) t) (* (* (sqrt (fma (* v v) -3 1)) (sqrt (fma (* v v) -3 1))) (sqrt (fma (* v v) -3 1)))))
704.0ms
(/ (/ (/ (* (* (fma (* v v) -5 1) (fma (* v v) -5 1)) (fma (* v v) -5 1)) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v)))) (* (* (* (sqrt 2) PI) (* (sqrt 2) PI)) (* (sqrt 2) PI))) (* (* (* t t) t) (* (* (sqrt (fma (* v v) -3 1)) (sqrt (fma (* v v) -3 1))) (sqrt (fma (* v v) -3 1)))))
702.0ms
(- (- (log (/ (fma (* v v) -5 1) (- 1 (* v v)))) (+ (log (sqrt 2)) (log PI))) (+ (log t) (log (sqrt (fma (* v v) -3 1)))))
654.0ms
(/ (* (* (/ (/ (fma (* v v) -5 1) (- 1 (* v v))) (* (sqrt 2) PI)) (/ (/ (fma (* v v) -5 1) (- 1 (* v v))) (* (sqrt 2) PI))) (/ (/ (fma (* v v) -5 1) (- 1 (* v v))) (* (sqrt 2) PI))) (* (* (* t (sqrt (fma (* v v) -3 1))) (* t (sqrt (fma (* v v) -3 1)))) (* t (sqrt (fma (* v v) -3 1)))))

prune1.5s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

regimes77.0ms

Accuracy

0% (0.1b remaining)

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

bsearch4.0ms

end0.0ms

sample2.5s

Algorithm
intervals
Results
1.3s8000×body80valid
946.0ms8046×body80nan