Details

Time bar (total: 54.0s)

sample233.0ms

Algorithm
intervals
Results
92.0ms97×body2560valid
75.0ms89×body1280valid
24.0ms241×body80nan
15.0ms31×body640valid
6.0ms15×body320valid
4.0ms16×body160valid
1.0ms8×body80valid

simplify158.0ms

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

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.7b

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt *-un-lft-identity
18×times-frac
16×add-cube-cbrt
10×difference-of-squares
9×add-exp-log
6×associate-/r* add-cbrt-cube add-log-exp
5×difference-of-sqr-1
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u
3×prod-diff associate-/l*
2×expm1-def flip3-- associate-/r/ flip--
1×acos-asin cbrt-undiv clear-num sub-neg frac-2neg fma-neg diff-log div-exp prod-exp fma-udef div-inv
Counts
4 → 90
Calls
4 calls:
Slowest
20.0ms
(/ (fma -5 (* v v) 1) (- (* v v) 1))
8.0ms
(- (* v v) 1)
1.0ms
(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))
0.0ms
(fma -5 (* v v) 1)

series226.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
84.0ms
(fma -5 (* v v) 1)
79.0ms
(/ (fma -5 (* v v) 1) (- (* v v) 1))
57.0ms
(- (* v v) 1)
5.0ms
(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))

simplify13.7s

Counts
128 → 102
Calls
128 calls:
Slowest
607.0ms
(* (* (fma -5 (* v v) 1) (fma -5 (* v v) 1)) (fma -5 (* v v) 1))
580.0ms
(* (* (/ (fma -5 (* v v) 1) (- (* v v) 1)) (/ (fma -5 (* v v) 1) (- (* v v) 1))) (/ (fma -5 (* v v) 1) (- (* v v) 1)))
345.0ms
(- (+ (* 4 (/ 1 (pow v 4))) (+ 5 (* 4 (/ 1 (pow v 2))))))
329.0ms
(- (+ (* 4 (/ 1 (pow v 4))) (+ 5 (* 4 (/ 1 (pow v 2))))))
319.0ms
(/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1)))

prune917.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.7b

localize21.0ms

Local error

Found 4 expressions with local error:

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

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
7×add-exp-log
6×add-sqr-sqrt *-un-lft-identity add-log-exp
5×add-cube-cbrt log1p-expm1-u
4×expm1-log1p-u pow1 add-cbrt-cube insert-posit16
3×prod-diff
2×expm1-def difference-of-squares
1×acos-asin log1p-udef expm1-log1p sub-neg flip3-- fma-neg diff-log difference-of-sqr-1 prod-exp log1p-expm1 flip-- expm1-udef
Counts
4 → 59
Calls
4 calls:
Slowest
16.0ms
(- (* v v) 1)
1.0ms
(acos (/ (log1p (expm1 (fma -5 (* v v) 1))) (- (* v v) 1)))
0.0ms
(expm1 (fma -5 (* v v) 1))
0.0ms
(log1p (expm1 (fma -5 (* v v) 1)))

series798.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
696.0ms
(log1p (expm1 (fma -5 (* v v) 1)))
56.0ms
(- (* v v) 1)
43.0ms
(expm1 (fma -5 (* v v) 1))
3.0ms
(acos (/ (log1p (expm1 (fma -5 (* v v) 1))) (- (* v v) 1)))

simplify5.6s

Counts
76 → 71
Calls
76 calls:
Slowest
497.0ms
(* (* (log1p (expm1 (fma -5 (* v v) 1))) (log1p (expm1 (fma -5 (* v v) 1)))) (log1p (expm1 (fma -5 (* v v) 1))))
262.0ms
(* (* (- (* v v) 1) (- (* v v) 1)) (- (* v v) 1))
254.0ms
(- (pow (* v v) 3) (pow 1 3))
224.0ms
(- (+ E (* 25/2 (* E (pow v 4)))) (+ (* 5 (* E (pow v 2))) 1))
223.0ms
(- (* (* v v) (* v v)) (* 1 1))

prune878.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.7b

localize32.0ms

Local error

Found 4 expressions with local error:

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

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
7×add-exp-log
6×add-sqr-sqrt *-un-lft-identity add-log-exp
5×add-cube-cbrt
4×expm1-log1p-u pow1 add-cbrt-cube insert-posit16 log1p-expm1-u
3×prod-diff
2×expm1-def difference-of-squares
1×acos-asin expm1-log1p sub-neg flip3-- fma-neg diff-log difference-of-sqr-1 prod-exp fma-udef flip-- expm1-udef
Counts
4 → 58
Calls
4 calls:
Slowest
8.0ms
(- (* v v) 1)
5.0ms
(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))
0.0ms
(expm1 (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))
0.0ms
(fma -5 (* v v) 1)

series274.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
141.0ms
(expm1 (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))
75.0ms
(fma -5 (* v v) 1)
54.0ms
(- (* v v) 1)
3.0ms
(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))

simplify7.6s

Counts
76 → 70
Calls
76 calls:
Slowest
641.0ms
(* (* (fma -5 (* v v) 1) (fma -5 (* v v) 1)) (fma -5 (* v v) 1))
500.0ms
(real->posit16 (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))
266.0ms
(- (pow (* v v) 3) (pow 1 3))
243.0ms
(* (* (- (* v v) 1) (- (* v v) 1)) (- (* v v) 1))
214.0ms
(* (* (expm1 (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (expm1 (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (expm1 (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))

prune679.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.7b

localize29.0ms

Local error

Found 4 expressions with local error:

0.7b
(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))
0.0b
(- (exp (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) 1)
0.0b
(exp (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))
0.0b
(- (* v v) 1)

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
17×*-un-lft-identity
13×add-cube-cbrt
12×prod-diff
9×add-log-exp
7×add-exp-log
4×expm1-log1p-u pow1 add-cbrt-cube fma-neg insert-posit16 log1p-expm1-u difference-of-squares
3×expm1-def exp-prod
2×sub-neg flip3-- diff-log difference-of-sqr-1 flip-- rem-exp-log
1×acos-asin log1p-udef prod-exp distribute-lft-out--
Counts
4 → 82
Calls
4 calls:
Slowest
13.0ms
(- (exp (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) 1)
8.0ms
(- (* v v) 1)
2.0ms
(exp (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))
1.0ms
(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))

series365.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
156.0ms
(exp (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))
140.0ms
(- (exp (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) 1)
66.0ms
(- (* v v) 1)
3.0ms
(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))

simplify13.1s

Counts
112 → 94
Calls
112 calls:
Slowest
420.0ms
(* (* (- (exp (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) 1) (- (exp (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) 1)) (- (exp (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) 1))
282.0ms
(exp (* (cbrt (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))))
268.0ms
(- (pow (* v v) 3) (pow 1 3))
258.0ms
(- (pow (exp (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) 3) (pow 1 3))
257.0ms
(fma (sqrt (exp (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (sqrt (exp (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))

prune1.0s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.7b

regimes53.0ms

Accuracy

0% (0.0b remaining)

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

bsearch4.0ms

end0.0ms

sample8.2s

Algorithm
intervals
Results
3.9s2992×body2560valid
1.9s2546×body1280valid
1.0s8073×body80nan
751.0ms1263×body640valid
244.0ms589×body320valid
106.0ms410×body160valid
28.0ms200×body80valid