Details

Time bar (total: 7.7m)

sample122.0ms

Algorithm
intervals
Results
52.0ms234×body80nan
48.0ms256×body80valid

simplify297.0ms

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

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

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

rewrite110.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
52.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))
15.0ms
(/ (fma -5 (* v v) 1) (- 1 (* v v)))
11.0ms
(* t PI)

series941.0ms

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

simplify24.5s

Counts
147 → 164
Calls
147 calls:
Slowest
1.3s
(/ (* (* (/ (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))))
963.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))))
873.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))))
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))) (* t PI)) (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI))) (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI))))
832.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: 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.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) (- 1 (* v v)))

rewrite91.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
53.0ms
(/ (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (* t PI))
15.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1))))
7.0ms
(/ (fma -5 (* v v) 1) (- 1 (* v v)))
6.0ms
(* t PI)

series1.3s

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

simplify1.7m

Counts
535 → 403
Calls
535 calls:
Slowest
920.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)))
850.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)))
834.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)))
812.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)))))) t)
802.0ms
(/ (/ (/ (fma -5 (* v v) 1) (- (pow 1 3) (pow (* v v) 3))) (* (cbrt (sqrt (* 2 (fma (- (* v v)) 3 1)))) (cbrt (sqrt (* 2 (fma (- (* v v)) 3 1)))))) t)

prune5.7s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

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

rewrite110.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))))
32.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1))))
21.0ms
(sqrt (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1)))))
16.0ms
(sqrt (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1)))))

series2.4s

Counts
4 → 12
Calls
4 calls:
Slowest
654.0ms
(sqrt (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1)))))
621.0ms
(sqrt (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1)))))
552.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1))))
543.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1))))

simplify1.3m

Counts
592 → 474
Calls
592 calls:
Slowest
624.0ms
(- (- (log (fma -5 (* v v) 1)) (log (- 1 (* v v)))) (log (sqrt (* 2 (fma (- (* v v)) 3 1)))))
453.0ms
(/ (fma -5 (* v v) 1) (- (pow 1 3) (pow (* v v) 3)))
443.0ms
(- (+ (* 13/6 (* (sqrt (/ 1 (sqrt 2))) (/ (exp (* 1/4 (+ (log -1/3) (* 2 (log (/ 1 v)))))) (* (sqrt 5) (pow v 4))))) (+ (* 2 (* (sqrt (/ 1 (sqrt 2))) (/ (exp (* 1/4 (+ (log -1/3) (* 2 (log (/ 1 v)))))) (* (sqrt 5) (pow v 2))))) (+ (* (sqrt (/ 1 (sqrt 2))) (* (exp (* 1/4 (+ (log -1/3) (* 2 (log (/ 1 v)))))) (sqrt 5))) (+ (* 1/12 (* (sqrt (/ 1 (sqrt 2))) (/ (* (exp (* 1/4 (+ (log -1/3) (* 2 (log (/ 1 v)))))) (sqrt 5)) (pow v 2)))) (* 5/288 (* (sqrt (/ 1 (sqrt 2))) (/ (* (exp (* 1/4 (+ (log -1/3) (* 2 (log (/ 1 v)))))) (sqrt 5)) (pow v 4)))))))) (* 2 (* (sqrt (/ 1 (sqrt 2))) (/ (exp (* 1/4 (+ (log -1/3) (* 2 (log (/ 1 v)))))) (* (pow (sqrt 5) 3) (pow v 4))))))
429.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)))))
408.0ms
(/ (/ (* (cbrt (fma -5 (* v v) 1)) (cbrt (fma -5 (* v v) 1))) (+ 1 v)) (sqrt (sqrt (* 2 (fma (- (* v v)) 3 1)))))

prune5.6s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize47.0ms

Local error

Found 4 expressions with local error:

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

rewrite208.0ms

Algorithm
rewrite-expression-head
Rules
3422×times-frac
1850×add-sqr-sqrt
1678×*-un-lft-identity
1256×add-cube-cbrt
772×associate-*r*
655×sqrt-prod
339×cbrt-prod
216×difference-of-squares
196×associate-*l*
137×add-exp-log
134×associate-/r/
120×add-cbrt-cube
108×distribute-lft-out--
81×div-inv
80×cbrt-undiv div-exp
74×associate-/l*
49×flip3-+ flip-+ distribute-lft-out
48×unswap-sqr
26×prod-exp cbrt-unprod
18×flip3-- flip--
9×associate-/r*
6×pow1
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
2×clear-num frac-2neg associate-/l/
1×frac-times pow1/3 pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 1462
Calls
4 calls:
Slowest
117.0ms
(* (/ (/ (/ (* (cbrt (fma -5 (* v v) 1)) (cbrt (fma -5 (* v v) 1))) (+ 1 v)) (sqrt 2)) t) (/ (/ (/ (cbrt (fma -5 (* v v) 1)) (- 1 v)) (sqrt (fma (- (* v v)) 3 1))) PI))
24.0ms
(/ (/ (/ (* (cbrt (fma -5 (* v v) 1)) (cbrt (fma -5 (* v v) 1))) (+ 1 v)) (sqrt 2)) t)
16.0ms
(/ (/ (* (cbrt (fma -5 (* v v) 1)) (cbrt (fma -5 (* v v) 1))) (+ 1 v)) (sqrt 2))
1.0ms
(cbrt (fma -5 (* v v) 1))

series847.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
416.0ms
(* (/ (/ (/ (* (cbrt (fma -5 (* v v) 1)) (cbrt (fma -5 (* v v) 1))) (+ 1 v)) (sqrt 2)) t) (/ (/ (/ (cbrt (fma -5 (* v v) 1)) (- 1 v)) (sqrt (fma (- (* v v)) 3 1))) PI))
189.0ms
(/ (/ (/ (* (cbrt (fma -5 (* v v) 1)) (cbrt (fma -5 (* v v) 1))) (+ 1 v)) (sqrt 2)) t)
138.0ms
(/ (/ (* (cbrt (fma -5 (* v v) 1)) (cbrt (fma -5 (* v v) 1))) (+ 1 v)) (sqrt 2))
104.0ms
(cbrt (fma -5 (* v v) 1))

simplify3.6m

Counts
1722 → 1474
Calls
1722 calls:
Slowest
1.1s
(* (/ (/ (* (* (/ (* (cbrt (fma -5 (* v v) 1)) (cbrt (fma -5 (* v v) 1))) (+ 1 v)) (/ (* (cbrt (fma -5 (* v v) 1)) (cbrt (fma -5 (* v v) 1))) (+ 1 v))) (/ (* (cbrt (fma -5 (* v v) 1)) (cbrt (fma -5 (* v v) 1))) (+ 1 v))) (* (* (sqrt 2) (sqrt 2)) (sqrt 2))) (* (* t t) t)) (/ (* (* (/ (/ (cbrt (fma -5 (* v v) 1)) (- 1 v)) (sqrt (fma (- (* v v)) 3 1))) (/ (/ (cbrt (fma -5 (* v v) 1)) (- 1 v)) (sqrt (fma (- (* v v)) 3 1)))) (/ (/ (cbrt (fma -5 (* v v) 1)) (- 1 v)) (sqrt (fma (- (* v v)) 3 1)))) (* (* PI PI) PI)))
901.0ms
(* (/ (* (* (/ (/ (* (cbrt (fma -5 (* v v) 1)) (cbrt (fma -5 (* v v) 1))) (+ 1 v)) (sqrt 2)) (/ (/ (* (cbrt (fma -5 (* v v) 1)) (cbrt (fma -5 (* v v) 1))) (+ 1 v)) (sqrt 2))) (/ (/ (* (cbrt (fma -5 (* v v) 1)) (cbrt (fma -5 (* v v) 1))) (+ 1 v)) (sqrt 2))) (* (* t t) t)) (/ (* (* (/ (/ (cbrt (fma -5 (* v v) 1)) (- 1 v)) (sqrt (fma (- (* v v)) 3 1))) (/ (/ (cbrt (fma -5 (* v v) 1)) (- 1 v)) (sqrt (fma (- (* v v)) 3 1)))) (/ (/ (cbrt (fma -5 (* v v) 1)) (- 1 v)) (sqrt (fma (- (* v v)) 3 1)))) (* (* PI PI) PI)))
805.0ms
(* (/ (/ (* (* (/ (* (cbrt (fma -5 (* v v) 1)) (cbrt (fma -5 (* v v) 1))) (+ 1 v)) (/ (* (cbrt (fma -5 (* v v) 1)) (cbrt (fma -5 (* v v) 1))) (+ 1 v))) (/ (* (cbrt (fma -5 (* v v) 1)) (cbrt (fma -5 (* v v) 1))) (+ 1 v))) (* (* (sqrt 2) (sqrt 2)) (sqrt 2))) (* (* t t) t)) (/ (/ (/ (fma -5 (* v v) 1) (* (* (- 1 v) (- 1 v)) (- 1 v))) (* (* (sqrt (fma (- (* v v)) 3 1)) (sqrt (fma (- (* v v)) 3 1))) (sqrt (fma (- (* v v)) 3 1)))) (* (* PI PI) PI)))
752.0ms
(* (/ (/ (* (* (/ (* (cbrt (fma -5 (* v v) 1)) (cbrt (fma -5 (* v v) 1))) (+ 1 v)) (/ (* (cbrt (fma -5 (* v v) 1)) (cbrt (fma -5 (* v v) 1))) (+ 1 v))) (/ (* (cbrt (fma -5 (* v v) 1)) (cbrt (fma -5 (* v v) 1))) (+ 1 v))) (* (* (sqrt 2) (sqrt 2)) (sqrt 2))) (* (* t t) t)) (* (* (/ (/ (/ (cbrt (fma -5 (* v v) 1)) (- 1 v)) (sqrt (fma (- (* v v)) 3 1))) PI) (/ (/ (/ (cbrt (fma -5 (* v v) 1)) (- 1 v)) (sqrt (fma (- (* v v)) 3 1))) PI)) (/ (/ (/ (cbrt (fma -5 (* v v) 1)) (- 1 v)) (sqrt (fma (- (* v v)) 3 1))) PI)))
716.0ms
(* (* (* (/ (/ (/ (* (cbrt (fma -5 (* v v) 1)) (cbrt (fma -5 (* v v) 1))) (+ 1 v)) (sqrt 2)) t) (/ (/ (/ (* (cbrt (fma -5 (* v v) 1)) (cbrt (fma -5 (* v v) 1))) (+ 1 v)) (sqrt 2)) t)) (/ (/ (/ (* (cbrt (fma -5 (* v v) 1)) (cbrt (fma -5 (* v v) 1))) (+ 1 v)) (sqrt 2)) t)) (/ (/ (* (* (/ (cbrt (fma -5 (* v v) 1)) (- 1 v)) (/ (cbrt (fma -5 (* v v) 1)) (- 1 v))) (/ (cbrt (fma -5 (* v v) 1)) (- 1 v))) (* (* (sqrt (fma (- (* v v)) 3 1)) (sqrt (fma (- (* v v)) 3 1))) (sqrt (fma (- (* v v)) 3 1)))) (* (* PI PI) PI)))

prune19.0s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes101.0ms

Accuracy

0% (0.3b remaining)

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

bsearch4.0ms

end0.0ms

sample2.4s

Algorithm
intervals
Results
1.3s8000×body80valid
902.0ms7888×body80nan