Details

sample272.0ms

Algorithm

intervals

Results

157.0ms	110×	body	1280	valid
68.0ms	73×	body	640	valid
21.0ms	51×	body	320	valid
9.0ms	256×	pre	80	true
4.0ms	15×	body	160	valid
1.0ms	7×	body	80	valid

simplify5.0ms

Counts

1 → 1

Iterations

Iter	Nodes
3	13
2	13
1	11
0	7

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 59.9b

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (log (- 1 x)) (log1p x))
4.8b	(log (- 1 x))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt` `*-un-lft-identity`
12×	`times-frac` `add-cube-cbrt`
7×	`pow1`
6×	`log-prod`
5×	`add-exp-log` `log-pow`
4×	`log-div` `add-cbrt-cube` `associate-/l*`
3×	`associate-/r*`
2×	`expm1-log1p-u` `log1p-def` `flip3--` `div-sub` `insert-posit16` `log1p-expm1-u` `flip--` `add-log-exp` `difference-of-squares`
1×	`cbrt-undiv` `clear-num` `sub-neg` `frac-2neg` `div-exp` `rem-log-exp` `div-inv` `distribute-lft-out--`

Counts

2 → 58

Calls

2 calls:

12.0ms	(/ (log (- 1 x)) (log1p x))
4.0ms	(log (- 1 x))

series115.0ms

Counts

2 → 6

Calls

2 calls:

86.0ms	(/ (log (- 1 x)) (log1p x))
29.0ms	(log (- 1 x))

simplify2.0s

Counts

64 → 64

Iterations

Iter	Nodes
3	3576
2	1051
1	369
0	163

prune282.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 1 expressions with local error:

0.0b	(/ (log1p (- x)) (log1p x))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-sqr-sqrt` `*-un-lft-identity` `times-frac` `add-cube-cbrt`
3×	`associate-/r` `add-cbrt-cube` `add-exp-log` `associate-/l`
1×	`expm1-log1p-u` `pow1` `cbrt-undiv` `clear-num` `frac-2neg` `div-exp` `insert-posit16` `log1p-expm1-u` `div-inv` `add-log-exp`

Counts

1 → 30

Calls

1 calls:

9.0ms

(/ (log1p (- x)) (log1p x))

series120.0ms

Counts

1 → 3

Calls

1 calls:

120.0ms

(/ (log1p (- x)) (log1p x))

simplify1.6s

Counts

33 → 33

Iterations

Iter	Nodes
3	2878
2	813
1	264
0	112

prune282.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize32.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (log1p (- x)) (log1p x))
0.0b	(log1p (expm1 (/ (log1p (- x)) (log1p x))))

rewrite10.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×	`cbrt-undiv` `log1p-udef` `clear-num` `frac-2neg` `div-exp` `log1p-expm1` `div-inv`

Counts

2 → 42

Calls

2 calls:

8.0ms	(/ (log1p (- x)) (log1p x))
1.0ms	(log1p (expm1 (/ (log1p (- x)) (log1p x))))

series318.0ms

Counts

2 → 6

Calls

2 calls:

113.0ms	(/ (log1p (- x)) (log1p x))
206.0ms	(log1p (expm1 (/ (log1p (- x)) (log1p x))))

simplify2.0s

Counts

48 → 48

Iterations

Iter	Nodes
3	2850
2	841
1	280
0	124

prune462.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize31.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (log1p (- x)) (log1p x))
0.0b	(cbrt (/ (log1p (- x)) (log1p x)))
0.0b	(cbrt (/ (log1p (- x)) (log1p x)))
0.0b	(cbrt (/ (log1p (- x)) (log1p x)))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

39×	`cbrt-prod`
36×	`times-frac`
33×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
6×	`add-cbrt-cube` `add-exp-log`
4×	`expm1-log1p-u` `pow1` `insert-posit16` `log1p-expm1-u` `div-inv` `add-log-exp`
3×	`cbrt-div` `associate-/r` `pow1/3` `associate-/l`
1×	`cbrt-undiv` `clear-num` `frac-2neg` `div-exp`

Counts

4 → 105

Calls

4 calls:

4.0ms	(/ (log1p (- x)) (log1p x))
1.0ms	(cbrt (/ (log1p (- x)) (log1p x)))
1.0ms	(cbrt (/ (log1p (- x)) (log1p x)))
2.0ms	(cbrt (/ (log1p (- x)) (log1p x)))

series766.0ms

Counts

4 → 12

Calls

4 calls:

95.0ms	(/ (log1p (- x)) (log1p x))
255.0ms	(cbrt (/ (log1p (- x)) (log1p x)))
206.0ms	(cbrt (/ (log1p (- x)) (log1p x)))
210.0ms	(cbrt (/ (log1p (- x)) (log1p x)))

simplify3.6s

Counts

117 → 117

Iterations

Iter	Nodes
2	3049
1	857
0	307

prune1.3s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes22.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
1	7
0	7

end0.0ms

sample9.0s

Algorithm

intervals

Results

5.6s	3315×	body	1280	valid
2.2s	2594×	body	640	valid
549.0ms	1260×	body	320	valid
329.0ms	8000×	pre	80	true
189.0ms	616×	body	160	valid
26.0ms	215×	body	80	valid