Details

Time bar (total: 1.7m)

sample211.0ms

Algorithm
intervals
Results
87.0ms101×body2560valid
61.0ms86×body1280valid
22.0ms230×body80nan
16.0ms31×body640valid
8.0ms21×body320valid
3.0ms11×body160valid
1.0ms6×body80valid

simplify214.0ms

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

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize30.0ms

Local error

Found 1 expressions with local error:

0.3b
(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)))

simplify339.0ms

Calls
3 calls:
Slowest
121.0ms
(acos (/ (fma -5 (pow v 2) 1) (- (pow v 2) 1)))
110.0ms
(acos (/ (fma -5 (pow v 2) 1) (- (pow v 2) 1)))
107.0ms
(acos (/ (fma -5 (pow v 2) 1) (- (pow v 2) 1)))

prune104.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.3b

localize46.0ms

Local error

Found 4 expressions with local error:

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

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
11×pow1
9×pow1/3
6×swap-sqr associate-*r* associate-*l* add-exp-log
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Calls
4 calls:
Slowest
13.0ms
(* (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))
1.0ms
(cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))
1.0ms
(cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))
1.0ms
(cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))

series624.0ms

Calls
4 calls:
Slowest
186.0ms
(cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))
157.0ms
(* (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))
152.0ms
(cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))
129.0ms
(cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))

simplify10.4s

Calls
65 calls:
Slowest
350.0ms
(pow (acos (/ (fma -5 (pow v 2) 1) (- (pow v 2) 1))) 1/3)
339.0ms
(pow (acos (/ (fma -5 (pow v 2) 1) (- (pow v 2) 1))) 1/3)
322.0ms
(pow (acos (/ (fma -5 (pow v 2) 1) (- (pow v 2) 1))) 1/3)
316.0ms
(pow (acos (/ (fma -5 (pow v 2) 1) (- (pow v 2) 1))) 1/3)
315.0ms
(pow (acos (/ (fma -5 (pow v 2) 1) (- (pow v 2) 1))) 1/3)

prune1.1s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.3b

localize64.0ms

Local error

Found 4 expressions with local error:

1.6b
(* (* (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))))
1.0b
(* (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))
1.0b
(* (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))
1.0b
(* (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))

rewrite91.0ms

Algorithm
rewrite-expression-head
Rules
162×cbrt-prod
136×pow1
94×add-sqr-sqrt
62×pow1/3
55×pow-prod-up
40×*-un-lft-identity add-cube-cbrt
39×pow-sqr
38×pow-prod-down
28×swap-sqr associate-*r* associate-*l* unswap-sqr
22×add-exp-log
21×pow-plus
16×pow2
11×prod-exp cbrt-unprod
8×add-cbrt-cube
4×expm1-log1p-u *-commutative insert-posit16 log1p-expm1-u add-log-exp
Calls
4 calls:
Slowest
49.0ms
(* (* (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))))
16.0ms
(* (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))
12.0ms
(* (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))
10.0ms
(* (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))

series779.0ms

Calls
4 calls:
Slowest
225.0ms
(* (* (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))))
207.0ms
(* (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))
178.0ms
(* (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))
168.0ms
(* (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))

simplify44.7s

Calls
322 calls:
Slowest
598.0ms
(* (* (* (* (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))) (* (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))) (* (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))
583.0ms
(* (cbrt (sqrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (cbrt (sqrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))))
572.0ms
(* (* (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (* (* (* (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))) (* (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))))
437.0ms
(* (* (* (* (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))) (* (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))) (* (* (* (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))) (* (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))))
286.0ms
(* (* (cbrt (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (cbrt (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))) (* (cbrt (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (cbrt (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))))

prune3.1s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.3b

localize50.0ms

Local error

Found 4 expressions with local error:

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

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
123×cbrt-prod
71×add-sqr-sqrt
32×pow1 *-un-lft-identity add-cube-cbrt
27×associate-*l*
22×pow1/3
21×unswap-sqr
19×associate-*r*
18×swap-sqr
13×add-exp-log
12×pow-prod-up
9×pow-prod-down
6×pow-sqr
5×add-cbrt-cube prod-exp cbrt-unprod
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow2 pow-plus *-commutative
1×cube-unmult
Calls
4 calls:
Slowest
23.0ms
(* (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (* (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))))
16.0ms
(* (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))
10.0ms
(* (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))
1.0ms
(cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))

series734.0ms

Calls
4 calls:
Slowest
192.0ms
(* (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (* (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))))
186.0ms
(* (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))
186.0ms
(* (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))
170.0ms
(cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))

simplify28.1s

Calls
181 calls:
Slowest
583.0ms
(pow (pow (acos (/ (fma -5 (pow v 2) 1) (- (pow v 2) 1))) 2) 1/9)
363.0ms
(pow (acos (/ (fma -5 (pow v 2) 1) (- (pow v 2) 1))) 1/3)
341.0ms
(pow (acos (/ (fma -5 (pow v 2) 1) (- (pow v 2) 1))) 1/3)
312.0ms
(pow (acos (/ (fma -5 (pow v 2) 1) (- (pow v 2) 1))) 1/3)
307.0ms
(pow (acos (/ (fma -5 (pow v 2) 1) (- (pow v 2) 1))) 1/3)

prune1.9s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.3b

regimes138.0ms

Accuracy

0% (0.0b remaining)

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

bsearch2.0ms

end0.0ms

sample8.0s

Algorithm
intervals
Results
3.5s2962×body2560valid
2.2s2463×body1280valid
910.0ms8163×body80nan
743.0ms1234×body640valid
296.0ms693×body320valid
109.0ms429×body160valid
29.0ms219×body80valid