Details

Time bar (total: 24.1s)

sample204.0ms

Algorithm
intervals
Results
80.0ms107×body2560valid
46.0ms260×body80nan
44.0ms78×body1280valid
15.0ms35×body640valid
5.0ms17×body320valid
2.0ms12×body160valid
1.0ms7×body80valid

simplify157.0ms

Calls
1 calls:
Slowest
157.0ms
(acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.5b

localize20.0ms

Local error

Found 1 expressions with local error:

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

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
1×acos-asin add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16 log1p-expm1-u add-log-exp
Calls
1 calls:
Slowest
1.0ms
(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))

series3.0ms

Calls
1 calls:
Slowest
3.0ms
(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))

simplify327.0ms

Calls
3 calls:
Slowest
133.0ms
(acos (/ (fma -5 (pow v 2) 1) (- (pow v 2) 1)))
102.0ms
(acos (/ (fma -5 (pow v 2) 1) (- (pow v 2) 1)))
92.0ms
(acos (/ (fma -5 (pow v 2) 1) (- (pow v 2) 1)))

prune156.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.5b

localize6.0ms

Local error

Found 3 expressions with local error:

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

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt log-prod *-un-lft-identity add-cube-cbrt
5×pow1
4×exp-prod add-exp-log
3×expm1-log1p-u add-cbrt-cube exp-sum insert-posit16 log1p-expm1-u add-log-exp
2×log-pow
1×acos-asin rem-log-exp rem-exp-log
Calls
3 calls:
Slowest
3.0ms
(exp (log (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))
1.0ms
(log (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))
1.0ms
(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))

series117.0ms

Calls
3 calls:
Slowest
106.0ms
(log (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))
5.0ms
(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))
5.0ms
(exp (log (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))

simplify2.4s

Calls
21 calls:
Slowest
214.0ms
(log (* (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))
207.0ms
(exp (log (* (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))))
202.0ms
(exp (sqrt (log (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))
167.0ms
(log (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))
166.0ms
(exp (* (cbrt (log (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (log (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))))

prune590.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.5b

localize14.0ms

Local error

Found 2 expressions with local error:

0.5b
(asin (/ (fma -5 (* v v) 1) (- (* v v) 1)))
0.0b
(- (/ PI 2) (asin (/ (fma -5 (* v v) 1) (- (* v v) 1))))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt *-un-lft-identity prod-diff
10×add-cube-cbrt
4×fma-neg div-inv add-log-exp
2×expm1-log1p-u pow1 asin-acos add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
1×sub-neg flip3-- diff-log flip-- distribute-lft-out-- associate--r- difference-of-squares
Calls
2 calls:
Slowest
6.0ms
(- (/ PI 2) (asin (/ (fma -5 (* v v) 1) (- (* v v) 1))))
1.0ms
(asin (/ (fma -5 (* v v) 1) (- (* v v) 1)))

series47.0ms

Calls
2 calls:
Slowest
44.0ms
(- (/ PI 2) (asin (/ (fma -5 (* v v) 1) (- (* v v) 1))))
3.0ms
(asin (/ (fma -5 (* v v) 1) (- (* v v) 1)))

simplify6.1s

Calls
37 calls:
Slowest
235.0ms
(fma PI (/ 1 2) (- (* (cbrt (asin (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (* (cbrt (asin (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (cbrt (asin (/ (fma -5 (* v v) 1) (- (* v v) 1))))))))
232.0ms
(fma (sqrt (/ PI 2)) (sqrt (/ PI 2)) (- (* (sqrt (asin (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (sqrt (asin (/ (fma -5 (* v v) 1) (- (* v v) 1)))))))
219.0ms
(/ (exp (/ PI 2)) (exp (asin (/ (fma -5 (* v v) 1) (- (* v v) 1)))))
210.0ms
(- (sqrt (/ PI 2)) (sqrt (asin (/ (fma -5 (* v v) 1) (- (* v v) 1)))))
209.0ms
(fma 1 (/ PI 2) (- (* (cbrt (asin (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (* (cbrt (asin (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (cbrt (asin (/ (fma -5 (* v v) 1) (- (* v v) 1))))))))

prune527.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.4b

localize11.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (* (asin (/ (fma -5 (* v v) 1) (- (* v v) 1))) (asin (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (asin (/ (fma -5 (* v v) 1) (- (* v v) 1))))
1.0b
(cbrt (* (* (asin (/ (fma -5 (* v v) 1) (- (* v v) 1))) (asin (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (asin (/ (fma -5 (* v v) 1) (- (* v v) 1)))))
0.5b
(asin (/ (fma -5 (* v v) 1) (- (* v v) 1)))
0.5b
(asin (/ (fma -5 (* v v) 1) (- (* v v) 1)))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1
9×add-cbrt-cube add-exp-log
5×add-sqr-sqrt *-un-lft-identity pow-plus pow-prod-up add-cube-cbrt
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×associate-*r* pow-prod-down prod-exp cbrt-unprod
2×pow2 asin-acos pow3
1×cbrt-prod pow1/3 associate-*l* *-commutative rem-cbrt-cube
Calls
4 calls:
Slowest
17.0ms
(* (* (asin (/ (fma -5 (* v v) 1) (- (* v v) 1))) (asin (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (asin (/ (fma -5 (* v v) 1) (- (* v v) 1))))
9.0ms
(cbrt (* (* (asin (/ (fma -5 (* v v) 1) (- (* v v) 1))) (asin (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (asin (/ (fma -5 (* v v) 1) (- (* v v) 1)))))
2.0ms
(asin (/ (fma -5 (* v v) 1) (- (* v v) 1)))
2.0ms
(asin (/ (fma -5 (* v v) 1) (- (* v v) 1)))

series56.0ms

Calls
4 calls:
Slowest
46.0ms
(* (* (asin (/ (fma -5 (* v v) 1) (- (* v v) 1))) (asin (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (asin (/ (fma -5 (* v v) 1) (- (* v v) 1))))
4.0ms
(cbrt (* (* (asin (/ (fma -5 (* v v) 1) (- (* v v) 1))) (asin (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (asin (/ (fma -5 (* v v) 1) (- (* v v) 1)))))
3.0ms
(asin (/ (fma -5 (* v v) 1) (- (* v v) 1)))
3.0ms
(asin (/ (fma -5 (* v v) 1) (- (* v v) 1)))

simplify4.4s

Calls
34 calls:
Slowest
245.0ms
(* (* (* (* (asin (/ (fma -5 (* v v) 1) (- (* v v) 1))) (asin (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (* (asin (/ (fma -5 (* v v) 1) (- (* v v) 1))) (asin (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (* (asin (/ (fma -5 (* v v) 1) (- (* v v) 1))) (asin (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (* (* (asin (/ (fma -5 (* v v) 1) (- (* v v) 1))) (asin (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (asin (/ (fma -5 (* v v) 1) (- (* v v) 1)))))
202.0ms
(asin (/ (fma -5 (* v v) 1) (- (* v v) 1)))
195.0ms
(* (* (* (* (asin (/ (fma -5 (* v v) 1) (- (* v v) 1))) (asin (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (asin (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (* (* (asin (/ (fma -5 (* v v) 1) (- (* v v) 1))) (asin (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (asin (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (* (* (asin (/ (fma -5 (* v v) 1) (- (* v v) 1))) (asin (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (asin (/ (fma -5 (* v v) 1) (- (* v v) 1)))))
182.0ms
(+ (+ (log (asin (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (log (asin (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (log (asin (/ (fma -5 (* v v) 1) (- (* v v) 1)))))
169.0ms
(cbrt (* (asin (/ (fma -5 (* v v) 1) (- (* v v) 1))) (asin (/ (fma -5 (* v v) 1) (- (* v v) 1)))))

prune780.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.4b

regimes88.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.1s

Algorithm
intervals
Results
3.0s2989×body2560valid
2.7s2562×body1280valid
898.0ms8025×body80nan
755.0ms1202×body640valid
331.0ms634×body320valid
103.0ms409×body160valid
28.0ms204×body80valid