Details

Time bar (total: 31.8s)

sample268.0ms

Algorithm
intervals
Results
107.0ms100×body2560valid
91.0ms85×body1280valid
27.0ms239×body80nan
18.0ms33×body640valid
8.0ms18×body320valid
4.0ms14×body160valid
1.0ms6×body80valid

simplify186.0ms

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

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
12×times-frac
7×add-exp-log
6×add-cbrt-cube
5×difference-of-sqr-1
4×expm1-log1p-u pow1 associate-/r* insert-posit16 log1p-expm1-u add-log-exp
3×associate-/l*
2×flip3-- associate-/r/ flip--
1×acos-asin cbrt-undiv expm1-def clear-num sub-neg frac-2neg fma-neg div-exp fma-udef div-inv
Calls
4 calls:
Slowest
6.0ms
(/ (fma -5 (* v v) 1) (- (* v v) 1))
2.0ms
(- (* v v) 1)
1.0ms
(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))
0.0ms
(fma -5 (* v v) 1)

series94.0ms

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

simplify3.8s

Calls
48 calls:
Slowest
194.0ms
(/ (sqrt (fma -5 (* v v) 1)) (* (cbrt (- (* v v) 1)) (cbrt (- (* v v) 1))))
187.0ms
(- (+ (* 4 (/ 1 (pow v 4))) (+ 5 (* 4 (/ 1 (pow v 2))))))
187.0ms
(- (+ (* 4 (/ 1 (pow v 4))) (+ 5 (* 4 (/ 1 (pow v 2))))))
172.0ms
(- (log (fma -5 (* v v) 1)) (log (- (* v v) 1)))
161.0ms
(/ (cbrt (fma -5 (* v v) 1)) (sqrt (- (* v v) 1)))

prune676.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.4b

localize27.0ms

Local error

Found 4 expressions with local error:

0.4b
(acos (/ (expm1 (log1p (fma -5 (* v v) 1))) (- (* v v) 1)))
0.0b
(/ (expm1 (log1p (fma -5 (* v v) 1))) (- (* v v) 1))
0.0b
(expm1 (log1p (fma -5 (* v v) 1)))
0.0b
(- (* v v) 1)

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
12×times-frac
7×add-exp-log
6×add-cbrt-cube
5×difference-of-sqr-1
4×expm1-log1p-u pow1 associate-/r* insert-posit16 log1p-expm1-u add-log-exp
3×associate-/l*
2×flip3-- associate-/r/ flip-- expm1-udef
1×acos-asin cbrt-undiv expm1-def expm1-log1p clear-num sub-neg frac-2neg fma-neg div-sub div-exp div-inv
Calls
4 calls:
Slowest
11.0ms
(/ (expm1 (log1p (fma -5 (* v v) 1))) (- (* v v) 1))
2.0ms
(- (* v v) 1)
2.0ms
(acos (/ (expm1 (log1p (fma -5 (* v v) 1))) (- (* v v) 1)))
0.0ms
(expm1 (log1p (fma -5 (* v v) 1)))

series836.0ms

Calls
4 calls:
Slowest
653.0ms
(expm1 (log1p (fma -5 (* v v) 1)))
152.0ms
(/ (expm1 (log1p (fma -5 (* v v) 1))) (- (* v v) 1))
29.0ms
(- (* v v) 1)
3.0ms
(acos (/ (expm1 (log1p (fma -5 (* v v) 1))) (- (* v v) 1)))

simplify4.6s

Calls
49 calls:
Slowest
247.0ms
(- (+ (/ (exp (- (log -5) (* 2 (log (/ 1 v))))) (pow v 2)) (+ (* 3/5 (/ (exp (- (log -5) (* 2 (log (/ 1 v))))) (pow v 6))) (* 3/5 (/ (exp (- (log -5) (* 2 (log (/ 1 v))))) (pow v 4))))) (+ (/ 1 (pow v 4)) (+ (/ 1 (pow v 6)) (/ 1 (pow v 2)))))
211.0ms
(/ (* (cbrt (expm1 (log1p (fma -5 (* v v) 1)))) (cbrt (expm1 (log1p (fma -5 (* v v) 1))))) (* (cbrt (- (* v v) 1)) (cbrt (- (* v v) 1))))
192.0ms
(/ (cbrt (expm1 (log1p (fma -5 (* v v) 1)))) (sqrt (- (* v v) 1)))
187.0ms
(- (exp (- (log -5) (* 2 (log (/ -1 v))))) (+ 1 (* 2/5 (/ (exp (- (log -5) (* 2 (log (/ -1 v))))) (pow v 2)))))
187.0ms
(- (+ (* 3/5 (/ (exp (- (log -5) (* 2 (log (/ -1 v))))) (pow v 6))) (+ (* 3/5 (/ (exp (- (log -5) (* 2 (log (/ -1 v))))) (pow v 4))) (/ (exp (- (log -5) (* 2 (log (/ -1 v))))) (pow v 2)))) (+ (/ 1 (pow v 4)) (+ (/ 1 (pow v 2)) (/ 1 (pow v 6)))))

prune887.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.4b

localize15.0ms

Local error

Found 4 expressions with local error:

0.4b
(acos (/ (expm1 (log1p (fma -5 (* v v) 1))) (- (* v v) 1)))
0.0b
(expm1 (log1p (acos (/ (expm1 (log1p (fma -5 (* v v) 1))) (- (* v v) 1)))))
0.0b
(/ (expm1 (log1p (fma -5 (* v v) 1))) (- (* v v) 1))
0.0b
(expm1 (log1p (fma -5 (* v v) 1)))

rewrite15.0ms

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

series973.0ms

Calls
4 calls:
Slowest
641.0ms
(expm1 (log1p (fma -5 (* v v) 1)))
199.0ms
(expm1 (log1p (acos (/ (expm1 (log1p (fma -5 (* v v) 1))) (- (* v v) 1)))))
127.0ms
(/ (expm1 (log1p (fma -5 (* v v) 1))) (- (* v v) 1))
6.0ms
(acos (/ (expm1 (log1p (fma -5 (* v v) 1))) (- (* v v) 1)))

simplify5.1s

Calls
48 calls:
Slowest
278.0ms
(- (+ (* 3/5 (/ (exp (- (log -5) (* 2 (log (/ -1 v))))) (pow v 6))) (+ (* 3/5 (/ (exp (- (log -5) (* 2 (log (/ -1 v))))) (pow v 4))) (/ (exp (- (log -5) (* 2 (log (/ -1 v))))) (pow v 2)))) (+ (/ 1 (pow v 4)) (+ (/ 1 (pow v 2)) (/ 1 (pow v 6)))))
203.0ms
(- (+ (/ (exp (- (log -5) (* 2 (log (/ 1 v))))) (pow v 2)) (+ (* 3/5 (/ (exp (- (log -5) (* 2 (log (/ 1 v))))) (pow v 6))) (* 3/5 (/ (exp (- (log -5) (* 2 (log (/ 1 v))))) (pow v 4))))) (+ (/ 1 (pow v 4)) (+ (/ 1 (pow v 6)) (/ 1 (pow v 2)))))
183.0ms
(/ (* (cbrt (expm1 (log1p (fma -5 (* v v) 1)))) (cbrt (expm1 (log1p (fma -5 (* v v) 1))))) (* (cbrt (- (* v v) 1)) (cbrt (- (* v v) 1))))
182.0ms
(- (log (expm1 (log1p (fma -5 (* v v) 1)))) (log (- (* v v) 1)))
179.0ms
(/ (* (cbrt (expm1 (log1p (fma -5 (* v v) 1)))) (cbrt (expm1 (log1p (fma -5 (* v v) 1))))) (sqrt (- (* v v) 1)))

prune1.0s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.4b

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite47.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 acos-asin pow3
1×cbrt-prod pow1/3 associate-*l* *-commutative rem-cbrt-cube
Calls
4 calls:
Slowest
27.0ms
(* (* (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))) (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))
15.0ms
(cbrt (* (* (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))) (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))
2.0ms
(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))
2.0ms
(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))

series50.0ms

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

simplify4.4s

Calls
34 calls:
Slowest
254.0ms
(* (* (* (* (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))) (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (* (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))) (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (* (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))) (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (* (* (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))) (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))
234.0ms
(* (* (* (* (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))) (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (* (* (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))) (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (* (* (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))) (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))
205.0ms
(+ (+ (log (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (log (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (log (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))
188.0ms
(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))
188.0ms
(+ (log (* (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))) (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (log (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))

prune745.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.4b

regimes67.0ms

Accuracy

0% (0.0b remaining)

Error of 0.6b against oracle of 0.6b and baseline of 0.6b

bsearch4.0ms

end0.0ms

sample8.0s

Algorithm
intervals
Results
3.9s3070×body2560valid
1.8s2503×body1280valid
1.0s7930×body80nan
677.0ms1173×body640valid
226.0ms611×body320valid
110.0ms418×body160valid
30.0ms225×body80valid