Details

sample51.0ms

Algorithm

intervals

Results

36.0ms

499×

body

valid

simplify3.2s

Counts

1 → 1

Iterations

Iter	Nodes
done	5001
8	3939
7	1431
6	455
5	213
4	116
3	51
2	25
1	12
0	6

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 1 expressions with local error:

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

rewrite4.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:

3.0ms

(exp (fma x x -1))

series26.0ms

Counts

1 → 3

Calls

1 calls:

26.0ms

(exp (fma x x -1))

simplify2.5s

Counts

18 → 18

Iterations

Iter	Nodes
done	5002
5	2717
4	786
3	299
2	112
1	61
0	34

prune54.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 1 expressions with local error:

0.0b	(pow E (fma x x -1))

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-sqr-sqrt` `pow-unpow` `unpow-prod-down` `*-un-lft-identity` `add-cube-cbrt`
2×	`pow1` `pow-exp` `add-exp-log`
1×	`expm1-log1p-u` `pow-to-exp` `unpow-prod-up` `e-exp-1` `pow-pow` `add-cbrt-cube` `fma-udef` `insert-posit16` `log1p-expm1-u` `add-log-exp` `sqr-pow`

Counts

1 → 22

Calls

1 calls:

3.0ms

(pow E (fma x x -1))

series52.0ms

Counts

1 → 3

Calls

1 calls:

52.0ms

(pow E (fma x x -1))

simplify1.7s

Counts

25 → 25

Iterations

Iter	Nodes
done	5006
4	2704
3	868
2	261
1	114
0	49

prune61.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b	(exp (fma x x -1))
1.0b	(log1p (exp (fma x x -1)))
1.0b	(expm1 (log1p (exp (fma x x -1))))

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

4×	`add-sqr-sqrt` `expm1-log1p-u` `*-un-lft-identity` `add-cube-cbrt` `add-log-exp`
3×	`pow1` `exp-prod` `add-cbrt-cube` `add-exp-log` `insert-posit16` `log1p-expm1-u`
1×	`log1p-udef` `expm1-log1p` `exp-sum` `log1p-expm1` `fma-udef` `expm1-udef` `rem-exp-log`

Counts

3 → 39

Calls

3 calls:

2.0ms	(exp (fma x x -1))
0.0ms	(log1p (exp (fma x x -1)))
0.0ms	(expm1 (log1p (exp (fma x x -1))))

series343.0ms

Counts

3 → 9

Calls

3 calls:

22.0ms	(exp (fma x x -1))
135.0ms	(log1p (exp (fma x x -1)))
185.0ms	(expm1 (log1p (exp (fma x x -1))))

simplify2.7s

Counts

48 → 48

Iterations

Iter	Nodes
done	5001
4	3870
3	904
2	306
1	134
0	70

prune139.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.0b

regimes23.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Iter	Nodes
done	4
0	4

end0.0ms

sample1.1s

Algorithm

intervals

Results

908.0ms

16002×

body

valid