Details

Time bar (total: 5.7m)

sample100.0ms

Algorithm
intervals
Results
42.0ms256×body80valid
38.0ms234×body80nan

simplify261.0ms

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

prune29.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.4b

localize68.0ms

Local error

Found 4 expressions with local error:

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

rewrite457.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
427.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))
5.0ms
(* t PI)
0.0ms
(fma -5 (* v v) 1)

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
534.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI)))
434.0ms
(* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI))
73.0ms
(fma -5 (* v v) 1)
21.0ms
(* t PI)

simplify21.7s

Counts
106 → 135
Calls
106 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))))
933.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))))
858.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))))
848.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))))
841.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))))

prune1.8s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

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

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
535×times-frac
230×add-sqr-sqrt
228×*-un-lft-identity
189×add-cube-cbrt
109×associate-/l*
78×difference-of-squares
64×sqrt-prod
32×add-cbrt-cube add-exp-log
26×associate-/r/
17×div-inv
15×cbrt-undiv div-exp
13×flip3-- flip--
6×pow1
5×associate-/r*
4×expm1-log1p-u prod-exp cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
3×associate-*r* associate-*l*
2×clear-num frac-2neg associate-/l/
1×pow-prod-down *-commutative fma-udef unswap-sqr
Counts
4 → 362
Calls
4 calls:
Slowest
41.0ms
(/ (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (* t PI))
27.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1))))
9.0ms
(* t PI)
0.0ms
(fma -5 (* v v) 1)

series1.2s

Counts
4 → 12
Calls
4 calls:
Slowest
588.0ms
(/ (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (* t PI))
505.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1))))
80.0ms
(fma -5 (* v v) 1)
31.0ms
(* t PI)

simplify1.7m

Counts
494 → 374
Calls
494 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)))
853.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)))
808.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)))
725.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)))
673.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)))

prune5.6s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

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

rewrite466.0ms

Algorithm
rewrite-expression-head
Rules
1598×times-frac
922×add-sqr-sqrt
749×*-un-lft-identity
649×add-cube-cbrt
430×associate-*r*
313×sqrt-prod
184×difference-of-squares
104×add-exp-log
70×add-cbrt-cube associate-*l*
61×div-exp
54×div-inv
38×associate-/l*
37×cbrt-undiv
36×unswap-sqr
18×prod-exp
14×associate-/r* associate-/r/
12×cbrt-unprod
7×flip3-- flip--
6×pow1
4×expm1-log1p-u rec-exp 1-exp insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg
2×associate-/l/
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 837
Calls
4 calls:
Slowest
413.0ms
(* (/ (/ (fma -5 (* v v) 1) (sqrt 2)) t) (/ (/ (/ 1 PI) (- 1 (* v v))) (sqrt (fma (* v v) -3 1))))
11.0ms
(/ (/ 1 PI) (- 1 (* v v)))
9.0ms
(/ (/ (fma -5 (* v v) 1) (sqrt 2)) t)
5.0ms
(/ (fma -5 (* v v) 1) (sqrt 2))

series1.0s

Counts
4 → 12
Calls
4 calls:
Slowest
622.0ms
(* (/ (/ (fma -5 (* v v) 1) (sqrt 2)) t) (/ (/ (/ 1 PI) (- 1 (* v v))) (sqrt (fma (* v v) -3 1))))
170.0ms
(/ (/ (fma -5 (* v v) 1) (sqrt 2)) t)
136.0ms
(/ (fma -5 (* v v) 1) (sqrt 2))
110.0ms
(/ (/ 1 PI) (- 1 (* v v)))

simplify2.4m

Counts
978 → 849
Calls
978 calls:
Slowest
974.0ms
(* (/ (/ (* (* (fma -5 (* v v) 1) (fma -5 (* v v) 1)) (fma -5 (* v v) 1)) (* (* (sqrt 2) (sqrt 2)) (sqrt 2))) (* (* t t) 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)))))
897.0ms
(* (/ (/ (* (* (fma -5 (* v v) 1) (fma -5 (* v v) 1)) (fma -5 (* v v) 1)) (* (* (sqrt 2) (sqrt 2)) (sqrt 2))) (* (* t t) t)) (/ (/ (/ (* (* 1 1) 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)))))
870.0ms
(* (/ (* (* (/ (fma -5 (* v v) 1) (sqrt 2)) (/ (fma -5 (* v v) 1) (sqrt 2))) (/ (fma -5 (* v v) 1) (sqrt 2))) (* (* t t) 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)))))
836.0ms
(* (/ (* (* (/ (fma -5 (* v v) 1) (sqrt 2)) (/ (fma -5 (* v v) 1) (sqrt 2))) (/ (fma -5 (* v v) 1) (sqrt 2))) (* (* t t) 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)))))
812.0ms
(* (/ (/ (* (* (fma -5 (* v v) 1) (fma -5 (* v v) 1)) (fma -5 (* v v) 1)) (* (* (sqrt 2) (sqrt 2)) (sqrt 2))) (* (* t t) 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)))))

prune14.5s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

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

rewrite84.0ms

Algorithm
rewrite-expression-head
Rules
163×times-frac
68×add-sqr-sqrt *-un-lft-identity
59×add-cbrt-cube add-exp-log
52×add-cube-cbrt
49×associate-/l*
32×difference-of-squares
29×cbrt-undiv div-exp
11×prod-exp cbrt-unprod
10×associate-/r/
9×div-inv
7×associate-/r*
5×flip3-- flip--
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg
2×associate-/l/
1×fma-udef
Counts
4 → 201
Calls
4 calls:
Slowest
44.0ms
(/ (/ (/ (fma (* v v) -5 1) (- 1 (* v v))) (* (sqrt 2) PI)) (* t (sqrt (fma (* v v) -3 1))))
25.0ms
(/ (/ (fma (* v v) -5 1) (- 1 (* v v))) (* (sqrt 2) PI))
7.0ms
(/ (fma (* v v) -5 1) (- 1 (* v v)))
0.0ms
(fma (* v v) -5 1)

series911.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
545.0ms
(/ (/ (/ (fma (* v v) -5 1) (- 1 (* v v))) (* (sqrt 2) PI)) (* t (sqrt (fma (* v v) -3 1))))
236.0ms
(/ (/ (fma (* v v) -5 1) (- 1 (* v v))) (* (sqrt 2) PI))
70.0ms
(fma (* v v) -5 1)
59.0ms
(/ (fma (* v v) -5 1) (- 1 (* v v)))

simplify38.4s

Counts
220 → 213
Calls
220 calls:
Slowest
1.1s
(/ (/ (/ (* (* (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)))))
1.0s
(/ (/ (* (* (/ (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)))))
1.0s
(/ (/ (* (* (/ (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)))))
977.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) (sqrt 2)) (sqrt 2)) (* (* PI PI) PI))) (* (* (* t t) t) (* (* (sqrt (fma (* v v) -3 1)) (sqrt (fma (* v v) -3 1))) (sqrt (fma (* v v) -3 1)))))
973.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)))))

prune3.0s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

regimes131.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.8s

Algorithm
intervals
Results
1.8s8000×body80valid
1.6s7993×body80nan