Details

Time bar (total: 10.2s)

sample70.0ms

Algorithm
intervals
Results
43.0ms519×body80valid

simplify4.8s

Counts
1 → 1

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 1 expressions with local error:

0.0b
(exp (fma x x -1))

rewrite2.0ms

Algorithm
rewrite-expression-head
Rules
3×exp-prod
2×add-sqr-sqrt *-un-lft-identity add-cube-cbrt add-log-exp
1×expm1-log1p-u pow1 add-cbrt-cube exp-sum add-exp-log fma-udef insert-posit16 log1p-expm1-u rem-exp-log
Counts
1 → 15
Calls
1 calls:
Slowest
2.0ms
(exp (fma x x -1))

series33.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
33.0ms
(exp (fma x x -1))

simplify2.7s

Counts
18 → 18

prune131.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize22.0ms

Local error

Found 1 expressions with local error:

0.0b
(* (exp (* x x)) (exp -1))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt
3×pow1 *-un-lft-identity add-cbrt-cube associate-*r* associate-*l* add-cube-cbrt
1×expm1-log1p-u pow-prod-down prod-exp add-exp-log *-commutative cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
Counts
1 → 21
Calls
1 calls:
Slowest
18.0ms
(* (exp (* x x)) (exp -1))

series83.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
83.0ms
(* (exp (* x x)) (exp -1))

simplify848.0ms

Counts
24 → 24

prune186.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes47.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch1.0ms

end0.0ms

sample1.3s

Algorithm
intervals
Results
1.1s16053×body80valid