Details

Time bar (total: 4.8m)

sample84.0ms

Algorithm
intervals
Results
38.0ms244×body80nan
30.0ms257×body80valid

simplify342.0ms

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

prune24.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

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

rewrite90.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
50.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI)))
22.0ms
(* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI))
11.0ms
(/ (fma -5 (* v v) 1) (- 1 (* v v)))
5.0ms
(* t PI)

series1.0s

Counts
4 → 12
Calls
4 calls:
Slowest
568.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI)))
386.0ms
(* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI))
72.0ms
(/ (fma -5 (* v v) 1) (- 1 (* v v)))
23.0ms
(* t PI)

simplify24.7s

Counts
147 → 164
Calls
147 calls:
Slowest
930.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))))
867.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))))
845.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))))
838.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))))
828.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))))

prune2.1s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

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

rewrite131.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
58.0ms
(/ (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (* t PI))
31.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1))))
14.0ms
(/ (fma -5 (* v v) 1) (- 1 (* v v)))
10.0ms
(* t PI)

series1.2s

Counts
4 → 12
Calls
4 calls:
Slowest
584.0ms
(/ (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (* t PI))
510.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1))))
74.0ms
(/ (fma -5 (* v v) 1) (- 1 (* v v)))
34.0ms
(* t PI)

simplify1.8m

Counts
535 → 403
Calls
535 calls:
Slowest
961.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)))
816.0ms
(- (- (- (log (fma -5 (* v v) 1)) (log (- 1 (* v v)))) (log (sqrt (* 2 (fma (- (* v v)) 3 1))))) (+ (log t) (log PI)))
804.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)))
796.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))))
789.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)))

prune5.5s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize52.0ms

Local error

Found 4 expressions with local error:

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

rewrite109.0ms

Algorithm
rewrite-expression-head
Rules
387×times-frac
258×add-sqr-sqrt
194×*-un-lft-identity
188×add-cube-cbrt
117×sqrt-prod
107×add-exp-log
70×associate-*l*
65×add-cbrt-cube
58×associate-*r*
57×div-exp
31×cbrt-undiv
25×prod-exp associate-/l*
18×unswap-sqr
17×div-inv
15×cbrt-unprod
13×associate-*r/
12×associate-/r/
9×pow1 associate-/r*
6×rec-exp flip3-- 1-exp flip--
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow-flip
2×clear-num frac-2neg sqrt-pow1 pow1/2
1×frac-times rem-sqrt-square pow-prod-down associate-*l/ *-commutative inv-pow associate-/l/
Counts
4 → 368
Calls
4 calls:
Slowest
68.0ms
(* (/ (/ 1 (sqrt 2)) t) (/ (/ (fma (* v v) -5 1) (* PI (- 1 (* v v)))) (sqrt (fma (* v v) -3 1))))
17.0ms
(/ (/ 1 (sqrt 2)) t)
7.0ms
(/ 1 (sqrt 2))
2.0ms
(sqrt (fma (* v v) -3 1))

series753.0ms

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

simplify56.1s

Counts
425 → 378
Calls
425 calls:
Slowest
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 (- 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.2s
(* (/ (/ (* (* 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.2s
(* (/ (* (* (/ 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.1s
(* (/ (* (* (/ 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 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)))))

prune5.6s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize39.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))))
1.0b
(/ (/ (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
(sqrt (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1)))))

rewrite78.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
21.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1))))
18.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1))))
12.0ms
(sqrt (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1)))))
10.0ms
(sqrt (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1)))))

series2.0s

Counts
4 → 12
Calls
4 calls:
Slowest
617.0ms
(sqrt (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1)))))
540.0ms
(sqrt (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1)))))
441.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1))))
426.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1))))

simplify1.2m

Counts
592 → 474
Calls
592 calls:
Slowest
472.0ms
(/ (/ (fma -5 (* v v) 1) (- (sqrt 1) v)) (cbrt (sqrt (* 2 (fma (- (* v v)) 3 1)))))
432.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 v)) (sqrt (* 2 (fma (- (* v v)) 3 1))))
357.0ms
(- (+ (* 4 (/ (sqrt -1/3) (* (sqrt 2) (pow v 3)))) (+ (* 4 (/ (sqrt -1/3) (* (sqrt 2) (pow v 5)))) (* 5 (/ (sqrt -1/3) (* (sqrt 2) v))))) (+ (* 5/18 (/ 1 (* (sqrt 2) (* (sqrt -1/3) (pow v 3))))) (+ (* 17/54 (/ 1 (* (sqrt 2) (* (sqrt -1/3) (pow v 5))))) (* 5/648 (/ 1 (* (sqrt 2) (* (pow (sqrt -1/3) 3) (pow v 5))))))))
352.0ms
(- (+ (* 4 (/ (sqrt -1/3) (* (sqrt 2) (pow v 3)))) (+ (* 4 (/ (sqrt -1/3) (* (sqrt 2) (pow v 5)))) (* 5 (/ (sqrt -1/3) (* (sqrt 2) v))))) (+ (* 5/18 (/ 1 (* (sqrt 2) (* (sqrt -1/3) (pow v 3))))) (+ (* 17/54 (/ 1 (* (sqrt 2) (* (sqrt -1/3) (pow v 5))))) (* 5/648 (/ 1 (* (sqrt 2) (* (pow (sqrt -1/3) 3) (pow v 5))))))))
342.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)))))

prune5.7s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes121.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.7s

Algorithm
intervals
Results
1.3s7911×body80nan
1.1s8001×body80valid