Details

Time bar (total: 5.1m)

sample106.0ms

Algorithm
intervals
Results
49.0ms256×body80valid
37.0ms252×body80nan

simplify251.0ms

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

prune23.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

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

rewrite84.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
32.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI)))
28.0ms
(* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI))
13.0ms
(/ (fma -5 (* v v) 1) (- 1 (* v v)))
10.0ms
(* t PI)

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
581.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI)))
383.0ms
(* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI))
69.0ms
(/ (fma -5 (* v v) 1) (- 1 (* v v)))
30.0ms
(* t PI)

simplify24.4s

Counts
147 → 164
Calls
147 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 PI) (* t PI)) (* t PI))))
989.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) (- 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))))
891.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))))
883.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))))

prune2.2s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize45.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.3b
(/ (/ (/ (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)))

rewrite110.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))
29.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1))))
11.0ms
(* t PI)
9.0ms
(/ (fma -5 (* v v) 1) (- 1 (* v v)))

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
518.0ms
(/ (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (* t PI))
445.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1))))
85.0ms
(/ (fma -5 (* v v) 1) (- 1 (* v v)))
20.0ms
(* t PI)

simplify1.7m

Counts
535 → 403
Calls
535 calls:
Slowest
943.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)))
926.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)))
774.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)))
770.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)))
712.0ms
(/ (/ (/ 1 (+ (sqrt 1) v)) (sqrt (sqrt (* 2 (fma (- (* v v)) 3 1))))) t)

prune5.9s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize62.0ms

Local error

Found 4 expressions with local error:

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

rewrite112.0ms

Algorithm
rewrite-expression-head
Rules
403×times-frac
276×add-sqr-sqrt
213×*-un-lft-identity
186×add-cube-cbrt
117×pow1
83×associate-*r*
72×associate-*l*
59×add-cbrt-cube add-exp-log
54×difference-of-squares
45×sqrt-prod
36×pow-prod-up
24×pow-prod-down
22×cbrt-undiv div-exp pow-sqr
21×div-inv
18×pow-plus
17×prod-exp cbrt-unprod
16×associate-/l* unswap-sqr
13×pow2
8×associate-/r*
4×expm1-log1p-u associate-/r/ insert-posit16 log1p-expm1-u add-log-exp
2×clear-num frac-2neg flip3-- *-commutative flip--
1×frac-times swap-sqr associate-*l/ associate-*r/ associate-/l/
Counts
4 → 400
Calls
4 calls:
Slowest
52.0ms
(* (/ (/ (fma (* v v) -5 1) t) (- 1 (* (* v v) (* v v)))) (/ (/ (fma v v 1) PI) (sqrt (fma (* v -6) v 2))))
24.0ms
(/ (/ (fma (* v v) -5 1) t) (- 1 (* (* v v) (* v v))))
22.0ms
(* (* v v) (* v v))
4.0ms
(/ (fma v v 1) PI)

series762.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
503.0ms
(* (/ (/ (fma (* v v) -5 1) t) (- 1 (* (* v v) (* v v)))) (/ (/ (fma v v 1) PI) (sqrt (fma (* v -6) v 2))))
100.0ms
(/ (fma v v 1) PI)
97.0ms
(/ (/ (fma (* v v) -5 1) t) (- 1 (* (* v v) (* v v))))
62.0ms
(* (* v v) (* v v))

simplify59.0s

Counts
462 → 412
Calls
462 calls:
Slowest
961.0ms
(* (/ (/ (* (* (fma (* v v) -5 1) (fma (* v v) -5 1)) (fma (* v v) -5 1)) (* (* t t) t)) (* (* (- 1 (* (* v v) (* v v))) (- 1 (* (* v v) (* v v)))) (- 1 (* (* v v) (* v v))))) (/ (* (* (/ (fma v v 1) PI) (/ (fma v v 1) PI)) (/ (fma v v 1) PI)) (* (* (sqrt (fma (* v -6) v 2)) (sqrt (fma (* v -6) v 2))) (sqrt (fma (* v -6) v 2)))))
950.0ms
(* (/ (* (* (/ (fma (* v v) -5 1) t) (/ (fma (* v v) -5 1) t)) (/ (fma (* v v) -5 1) t)) (* (* (- 1 (* (* v v) (* v v))) (- 1 (* (* v v) (* v v)))) (- 1 (* (* v v) (* v v))))) (/ (* (* (/ (fma v v 1) PI) (/ (fma v v 1) PI)) (/ (fma v v 1) PI)) (* (* (sqrt (fma (* v -6) v 2)) (sqrt (fma (* v -6) v 2))) (sqrt (fma (* v -6) v 2)))))
925.0ms
(* (/ (* (* (/ (fma (* v v) -5 1) t) (/ (fma (* v v) -5 1) t)) (/ (fma (* v v) -5 1) t)) (* (* (- 1 (* (* v v) (* v v))) (- 1 (* (* v v) (* v v)))) (- 1 (* (* v v) (* v v))))) (/ (/ (* (* (fma v v 1) (fma v v 1)) (fma v v 1)) (* (* PI PI) PI)) (* (* (sqrt (fma (* v -6) v 2)) (sqrt (fma (* v -6) v 2))) (sqrt (fma (* v -6) v 2)))))
924.0ms
(* (/ (/ (* (* (fma (* v v) -5 1) (fma (* v v) -5 1)) (fma (* v v) -5 1)) (* (* t t) t)) (* (* (- 1 (* (* v v) (* v v))) (- 1 (* (* v v) (* v v)))) (- 1 (* (* v v) (* v v))))) (/ (/ (* (* (fma v v 1) (fma v v 1)) (fma v v 1)) (* (* PI PI) PI)) (* (* (sqrt (fma (* v -6) v 2)) (sqrt (fma (* v -6) v 2))) (sqrt (fma (* v -6) v 2)))))
724.0ms
(* (/ (/ (* (* (fma (* v v) -5 1) (fma (* v v) -5 1)) (fma (* v v) -5 1)) (* (* t t) t)) (* (* (- 1 (* (* v v) (* v v))) (- 1 (* (* v v) (* v v)))) (- 1 (* (* v v) (* v v))))) (* (* (/ (/ (fma v v 1) PI) (sqrt (fma (* v -6) v 2))) (/ (/ (fma v v 1) PI) (sqrt (fma (* v -6) v 2)))) (/ (/ (fma v v 1) PI) (sqrt (fma (* v -6) v 2)))))

prune6.1s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize66.0ms

Local error

Found 4 expressions with local error:

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

rewrite111.0ms

Algorithm
rewrite-expression-head
Rules
612×times-frac
320×add-sqr-sqrt
308×*-un-lft-identity
262×sqrt-prod
254×add-cube-cbrt
108×difference-of-squares
42×associate-/l*
36×associate-/r/
22×div-inv
18×flip3-- flip--
14×add-cbrt-cube add-exp-log
8×associate-/r*
6×pow1 cbrt-undiv rem-sqrt-square div-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
2×clear-num frac-2neg sqrt-pow1 pow1/2 sqrt-div associate-/l/
Counts
4 → 462
Calls
4 calls:
Slowest
32.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1))))
30.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1))))
15.0ms
(sqrt (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1)))))
11.0ms
(sqrt (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1)))))

series2.5s

Counts
4 → 12
Calls
4 calls:
Slowest
988.0ms
(sqrt (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1)))))
598.0ms
(sqrt (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1)))))
457.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1))))
449.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1))))

simplify1.5m

Counts
592 → 474
Calls
592 calls:
Slowest
589.0ms
(/ (/ (* (cbrt (fma -5 (* v v) 1)) (cbrt (fma -5 (* v v) 1))) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) (* (cbrt (sqrt (* 2 (fma (- (* v v)) 3 1)))) (cbrt (sqrt (* 2 (fma (- (* v v)) 3 1))))))
495.0ms
(/ (/ (cbrt (fma -5 (* v v) 1)) (cbrt (- 1 (* v v)))) (sqrt (sqrt (* 2 (fma (- (* v v)) 3 1)))))
418.0ms
(sqrt (/ (/ (fma -5 (* v v) 1) (- (* 1 1) (* (* v v) (* v v)))) (sqrt (sqrt (* 2 (fma (- (* v v)) 3 1))))))
400.0ms
(sqrt (/ (/ (sqrt (fma -5 (* v v) 1)) (+ 1 v)) (* (cbrt (sqrt (* 2 (fma (- (* v v)) 3 1)))) (cbrt (sqrt (* 2 (fma (- (* v v)) 3 1)))))))
397.0ms
(sqrt (/ (/ (* (cbrt (fma -5 (* v v) 1)) (cbrt (fma -5 (* v v) 1))) (sqrt (- 1 (* v v)))) (* (cbrt (sqrt (* 2 (fma (- (* v v)) 3 1)))) (cbrt (sqrt (* 2 (fma (- (* v v)) 3 1)))))))

prune5.5s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

regimes120.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.1s7746×body80nan
1.0s8000×body80valid