Details

Time bar (total: 1.1m)

sample196.0ms

Algorithm
intervals
Results
77.0ms93×body2560valid
52.0ms83×body1280valid
22.0ms254×body80nan
19.0ms39×body640valid
8.0ms26×body320valid
2.0ms10×body160valid
1.0ms5×body80valid

simplify2.5s

Counts
1 → 1
Iterations
IterNodes
63462
51131
4454
3177
265
124
09

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize24.0ms

Local error

Found 2 expressions with local error:

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

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac
4×add-cbrt-cube add-exp-log
3×associate-/r* associate-/l*
2×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
1×acos-asin cbrt-undiv clear-num frac-2neg div-exp div-inv
Counts
2 → 41
Calls
2 calls:
4.0ms
(/ (fma (* -5 v) v 1) (fma v v -1))
1.0ms
(acos (/ (fma (* -5 v) v 1) (fma v v -1)))

series112.0ms

Counts
2 → 6
Calls
2 calls:
110.0ms
(/ (fma (* -5 v) v 1) (fma v v -1))
3.0ms
(acos (/ (fma (* -5 v) v 1) (fma v v -1)))

simplify3.1s

Counts
47 → 47
Iterations
IterNodes
44085
3928
2344
1152
086

prune406.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.3b

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac
6×add-cbrt-cube add-exp-log
5×expm1-log1p-u
4×pow1 insert-posit16 log1p-expm1-u add-log-exp
3×associate-/r* associate-/l*
1×acos-asin cbrt-undiv log1p-udef expm1-log1p clear-num frac-2neg div-exp log1p-expm1 div-inv expm1-udef
Counts
4 → 65
Calls
4 calls:
0.0ms
(log1p (acos (/ (fma (* -5 v) v 1) (fma v v -1))))
4.0ms
(/ (fma (* -5 v) v 1) (fma v v -1))
0.0ms
(expm1 (log1p (acos (/ (fma (* -5 v) v 1) (fma v v -1)))))
1.0ms
(acos (/ (fma (* -5 v) v 1) (fma v v -1)))

series343.0ms

Counts
4 → 12
Calls
4 calls:
85.0ms
(log1p (acos (/ (fma (* -5 v) v 1) (fma v v -1))))
101.0ms
(/ (fma (* -5 v) v 1) (fma v v -1))
153.0ms
(expm1 (log1p (acos (/ (fma (* -5 v) v 1) (fma v v -1)))))
4.0ms
(acos (/ (fma (* -5 v) v 1) (fma v v -1)))

simplify2.9s

Counts
77 → 77
Iterations
IterNodes
44129
3971
2384
1182
0108

prune782.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.3b

localize55.0ms

Local error

Found 4 expressions with local error:

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

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
75×times-frac
46×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
15×add-exp-log
13×associate-/r*
9×add-cbrt-cube
7×div-exp
5×expm1-log1p-u pow1 div-inv
4×insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-undiv associate-/l*
2×rec-exp 1-exp
1×acos-asin log1p-udef expm1-log1p clear-num frac-2neg log1p-expm1 associate-/r/ pow-flip inv-pow expm1-udef
Counts
4 → 114
Calls
4 calls:
1.0ms
(log1p (acos (/ 1 (/ (fma v v -1) (fma (* -5 v) v 1)))))
12.0ms
(/ 1 (/ (fma v v -1) (fma (* -5 v) v 1)))
0.0ms
(expm1 (log1p (acos (/ 1 (/ (fma v v -1) (fma (* -5 v) v 1))))))
2.0ms
(acos (/ 1 (/ (fma v v -1) (fma (* -5 v) v 1))))

series435.0ms

Counts
4 → 12
Calls
4 calls:
109.0ms
(log1p (acos (/ 1 (/ (fma v v -1) (fma (* -5 v) v 1)))))
114.0ms
(/ 1 (/ (fma v v -1) (fma (* -5 v) v 1)))
207.0ms
(expm1 (log1p (acos (/ 1 (/ (fma v v -1) (fma (* -5 v) v 1))))))
5.0ms
(acos (/ 1 (/ (fma v v -1) (fma (* -5 v) v 1))))

simplify39.6s

Counts
126 → 126
Iterations
IterNodes
47878
31991
2811
1428
0200

prune1.3s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.3b

localize58.0ms

Local error

Found 4 expressions with local error:

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

rewrite18.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
Counts
4 → 85
Calls
4 calls:
13.0ms
(* (cbrt (expm1 (log1p (acos (/ (fma (* -5 v) v 1) (fma v v -1)))))) (cbrt (expm1 (log1p (acos (/ (fma (* -5 v) v 1) (fma v v -1)))))))
2.0ms
(cbrt (expm1 (log1p (acos (/ (fma (* -5 v) v 1) (fma v v -1))))))
1.0ms
(cbrt (expm1 (log1p (acos (/ (fma (* -5 v) v 1) (fma v v -1))))))
1.0ms
(cbrt (expm1 (log1p (acos (/ (fma (* -5 v) v 1) (fma v v -1))))))

series1.3s

Counts
4 → 12
Calls
4 calls:
366.0ms
(* (cbrt (expm1 (log1p (acos (/ (fma (* -5 v) v 1) (fma v v -1)))))) (cbrt (expm1 (log1p (acos (/ (fma (* -5 v) v 1) (fma v v -1)))))))
344.0ms
(cbrt (expm1 (log1p (acos (/ (fma (* -5 v) v 1) (fma v v -1))))))
340.0ms
(cbrt (expm1 (log1p (acos (/ (fma (* -5 v) v 1) (fma v v -1))))))
297.0ms
(cbrt (expm1 (log1p (acos (/ (fma (* -5 v) v 1) (fma v v -1))))))

simplify3.7s

Counts
97 → 97
Iterations
IterNodes
55132
41192
3518
2245
1121
062

prune700.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.3b

regimes60.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
210
110
09

end0.0ms

sample7.8s

Algorithm
intervals
Results
3.3s2954×body2560valid
1.8s2470×body1280valid
1.2s7882×body80nan
776.0ms1301×body640valid
266.0ms678×body320valid
120.0ms401×body160valid
26.0ms196×body80valid