Details

Time bar (total: 1.3m)

sample222.0ms

Algorithm
intervals
Results
79.0ms95×body2560valid
48.0ms46×body640valid
47.0ms71×body1280valid
22.0ms249×body80nan
7.0ms20×body320valid
3.0ms13×body160valid
1.0ms11×body80valid

simplify157.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
156.0ms
(acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.5b

localize17.0ms

Local error

Found 2 expressions with local error:

0.5b
(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))
0.0b
(/ (fma -5 (* v v) 1) (- (* v v) 1))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
18×times-frac
17×add-sqr-sqrt *-un-lft-identity
13×add-cube-cbrt
8×difference-of-squares
6×associate-/r*
4×add-cbrt-cube difference-of-sqr-1 add-exp-log
3×associate-/l*
2×expm1-log1p-u pow1 associate-/r/ insert-posit16 log1p-expm1-u add-log-exp
1×acos-asin cbrt-undiv clear-num frac-2neg flip3-- div-exp div-inv flip--
Counts
2 → 55
Calls
2 calls:
Slowest
25.0ms
(/ (fma -5 (* v v) 1) (- (* v v) 1))
2.0ms
(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))

series98.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
93.0ms
(/ (fma -5 (* v v) 1) (- (* v v) 1))
5.0ms
(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))

simplify4.6s

Counts
54 → 61
Calls
54 calls:
Slowest
253.0ms
(- (+ (* 4 (/ 1 (pow v 4))) (+ 5 (* 4 (/ 1 (pow v 2))))))
207.0ms
(/ (* (cbrt (fma -5 (* v v) 1)) (cbrt (fma -5 (* v v) 1))) (* (cbrt (- (* v v) 1)) (cbrt (- (* v v) 1))))
204.0ms
(- (+ (* 4 (/ 1 (pow v 4))) (+ 5 (* 4 (/ 1 (pow v 2))))))
188.0ms
(/ (sqrt (fma -5 (* v v) 1)) (sqrt (- (* v v) 1)))
173.0ms
(- (log (fma -5 (* v v) 1)) (log (- (* v v) 1)))

prune551.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.5b

localize26.0ms

Local error

Found 4 expressions with local error:

0.5b
(acos (* (/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1))) (+ (* v v) 1)))
0.1b
(* (* v v) (* v v))
0.0b
(* (/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1))) (+ (* v v) 1))
0.0b
(/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1)))

rewrite300.0ms

Algorithm
rewrite-expression-head
Rules
117×pow1
36×pow-prod-up
27×add-sqr-sqrt
25×times-frac
24×pow-prod-down
23×add-cbrt-cube add-exp-log
22×*-un-lft-identity pow-sqr add-cube-cbrt
19×associate-*l*
18×pow-plus
13×pow2
10×prod-exp cbrt-unprod
7×difference-of-squares
4×expm1-log1p-u associate-/r* associate-*r* associate-/r/ insert-posit16 log1p-expm1-u add-log-exp
3×associate-/l* unswap-sqr
2×frac-times cbrt-undiv flip3-+ flip3-- div-exp associate-*r/ *-commutative flip-+ div-inv flip--
1×distribute-rgt-in acos-asin clear-num frac-2neg distribute-lft-in swap-sqr associate-*l/
Counts
4 → 159
Calls
4 calls:
Slowest
187.0ms
(* (/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1))) (+ (* v v) 1))
69.0ms
(/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1)))
36.0ms
(* (* v v) (* v v))
4.0ms
(acos (* (/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1))) (+ (* v v) 1)))

series669.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
533.0ms
(* (/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1))) (+ (* v v) 1))
80.0ms
(/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1)))
46.0ms
(* (* v v) (* v v))
9.0ms
(acos (* (/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1))) (+ (* v v) 1)))

simplify20.0s

Counts
151 → 171
Calls
151 calls:
Slowest
621.0ms
(* (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1)))
550.0ms
(* (fma -5 (* v v) 1) (+ (pow (* v v) 3) (pow 1 3)))
503.0ms
(/ (* (* (fma -5 (* v v) 1) (fma -5 (* v v) 1)) (fma -5 (* v v) 1)) (* (* (- (* (* v v) (* v v)) (* 1 1)) (- (* (* v v) (* v v)) (* 1 1))) (- (* (* v v) (* v v)) (* 1 1))))
496.0ms
(+ (- (log (fma -5 (* v v) 1)) (log (- (* (* v v) (* v v)) (* 1 1)))) (log (+ (* v v) 1)))
441.0ms
(+ (* (* (* v v) (* v v)) (* (* v v) (* v v))) (+ (* (* 1 1) (* 1 1)) (* (* (* v v) (* v v)) (* 1 1))))

prune1.7s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.5b

localize70.0ms

Local error

Found 4 expressions with local error:

0.5b
(acos (* (/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1))) (+ (* v v) 1)))
0.1b
(* (* v v) (* v v))
0.0b
(* (/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1))) (+ (* v v) 1))
0.0b
(/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1)))

rewrite302.0ms

Algorithm
rewrite-expression-head
Rules
117×pow1
36×pow-prod-up
27×add-sqr-sqrt
25×times-frac
24×pow-prod-down
23×add-cbrt-cube add-exp-log
22×*-un-lft-identity pow-sqr add-cube-cbrt
19×associate-*l*
18×pow-plus
13×pow2
10×prod-exp cbrt-unprod
7×difference-of-squares
4×expm1-log1p-u associate-/r* associate-*r* associate-/r/ insert-posit16 log1p-expm1-u add-log-exp
3×associate-/l* unswap-sqr
2×frac-times cbrt-undiv flip3-+ flip3-- div-exp associate-*r/ *-commutative flip-+ div-inv flip--
1×distribute-rgt-in acos-asin clear-num frac-2neg distribute-lft-in swap-sqr associate-*l/
Counts
4 → 159
Calls
4 calls:
Slowest
184.0ms
(* (/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1))) (+ (* v v) 1))
62.0ms
(/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1)))
50.0ms
(* (* v v) (* v v))
4.0ms
(acos (* (/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1))) (+ (* v v) 1)))

series245.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
110.0ms
(* (/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1))) (+ (* v v) 1))
90.0ms
(/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1)))
39.0ms
(* (* v v) (* v v))
6.0ms
(acos (* (/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1))) (+ (* v v) 1)))

simplify20.5s

Counts
151 → 171
Calls
151 calls:
Slowest
684.0ms
(* (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1)))
649.0ms
(* (sqrt (/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1)))) (sqrt (+ (* v v) 1)))
521.0ms
(* (fma -5 (* v v) 1) (+ (pow (* v v) 3) (pow 1 3)))
510.0ms
(/ (* (* (fma -5 (* v v) 1) (fma -5 (* v v) 1)) (fma -5 (* v v) 1)) (* (* (- (* (* v v) (* v v)) (* 1 1)) (- (* (* v v) (* v v)) (* 1 1))) (- (* (* v v) (* v v)) (* 1 1))))
471.0ms
(+ (* (* (* v v) (* v v)) (* (* v v) (* v v))) (+ (* (* 1 1) (* 1 1)) (* (* (* v v) (* v v)) (* 1 1))))

prune2.3s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.5b

localize76.0ms

Local error

Found 4 expressions with local error:

0.5b
(acos (* (/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1))) (+ (* v v) 1)))
0.1b
(* (* v v) (* v v))
0.0b
(* (/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1))) (+ (* v v) 1))
0.0b
(expm1 (log1p (acos (* (/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1))) (+ (* v v) 1)))))

rewrite278.0ms

Algorithm
rewrite-expression-head
Rules
117×pow1
36×pow-prod-up
24×pow-prod-down
22×pow-sqr
21×add-cbrt-cube add-exp-log
19×associate-*l*
18×add-sqr-sqrt pow-plus
13×pow2 *-un-lft-identity times-frac add-cube-cbrt
10×prod-exp cbrt-unprod
4×expm1-log1p-u associate-*r* insert-posit16 log1p-expm1-u add-log-exp
3×difference-of-squares unswap-sqr
2×frac-times flip3-+ associate-*r/ associate-/r/ *-commutative flip-+
1×distribute-rgt-in acos-asin cbrt-undiv expm1-log1p distribute-lft-in flip3-- swap-sqr div-exp associate-*l/ div-inv flip-- expm1-udef
Counts
4 → 135
Calls
4 calls:
Slowest
213.0ms
(* (/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1))) (+ (* v v) 1))
58.0ms
(* (* v v) (* v v))
4.0ms
(acos (* (/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1))) (+ (* v v) 1)))
0.0ms
(expm1 (log1p (acos (* (/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1))) (+ (* v v) 1)))))

series350.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
167.0ms
(expm1 (log1p (acos (* (/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1))) (+ (* v v) 1)))))
124.0ms
(* (/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1))) (+ (* v v) 1))
53.0ms
(* (* v v) (* v v))
5.0ms
(acos (* (/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1))) (+ (* v v) 1)))

simplify13.8s

Counts
118 → 147
Calls
118 calls:
Slowest
741.0ms
(acos (/ (* (+ (pow v 2) 1) (fma -5 (pow v 2) 1)) (- (pow v 4) 1)))
682.0ms
(* (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1)))
508.0ms
(* (fma -5 (* v v) 1) (+ (pow (* v v) 3) (pow 1 3)))
455.0ms
(acos (/ (* (+ (pow v 2) 1) (fma -5 (pow v 2) 1)) (- (pow v 4) 1)))
430.0ms
(* (* (* (* v v) (* v v)) (* v v)) (* (* (* v v) v) (* (* v v) v)))

prune2.1s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.5b

regimes66.0ms

Accuracy

0% (0.0b remaining)

Error of 0.5b against oracle of 0.5b and baseline of 0.5b

bsearch3.0ms

end0.0ms

sample8.3s

Algorithm
intervals
Results
3.5s3016×body2560valid
2.0s2500×body1280valid
1.3s7960×body80nan
750.0ms1280×body640valid
264.0ms608×body320valid
103.0ms392×body160valid
29.0ms204×body80valid