Details

sample443.0ms

Algorithm

intervals

Results

260.0ms	4141×	body	80	nan
45.0ms	177×	body	640	valid
9.0ms	50×	body	320	valid
3.0ms	13×	body	160	valid
1.0ms	14×	body	80	valid
1.0ms	2×	body	1280	valid

simplify254.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	24	31
1	51	31
2	154	31
3	879	31
done	5000	31

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.2b

localize28.0ms

Local error

Found 4 expressions with local error:

2.8b	(- (sqrt (+ x 1.0)) (sqrt x))
2.9b	(- (sqrt (+ z 1.0)) (sqrt z))
4.3b	(- (sqrt (+ t 1.0)) (sqrt t))
4.9b	(- (sqrt (+ y 1.0)) (sqrt y))

rewrite126.0ms

Algorithm

rewrite-expression-head

Rules

228×	`sqrt-prod`
200×	`*-un-lft-identity`
168×	`prod-diff`
148×	`add-sqr-sqrt`
116×	`add-cube-cbrt`
32×	`distribute-lft-out`
28×	`fma-neg`
16×	`difference-of-squares`
12×	`distribute-lft-out--` `add-log-exp`
4×	`pow1` `add-exp-log` `expm1-log1p-u` `sub-neg` `flip3--` `diff-log` `add-cbrt-cube` `flip--` `log1p-expm1-u`

Counts

4 → 280

Calls

4 calls:

26.0ms	(- (sqrt (+ x 1.0)) (sqrt x))
27.0ms	(- (sqrt (+ z 1.0)) (sqrt z))
29.0ms	(- (sqrt (+ t 1.0)) (sqrt t))
26.0ms	(- (sqrt (+ y 1.0)) (sqrt y))

series289.0ms

Counts

4 → 12

Calls

4 calls:

74.0ms	(- (sqrt (+ x 1.0)) (sqrt x))
74.0ms	(- (sqrt (+ z 1.0)) (sqrt z))
72.0ms	(- (sqrt (+ t 1.0)) (sqrt t))
68.0ms	(- (sqrt (+ y 1.0)) (sqrt y))

simplify867.0ms

Counts

292 → 292

Iterations

Useful iterations: done (857.0ms)

Iter	Nodes	Cost
0	437	7222
1	967	5211
2	2573	3879
done	5000	3871

prune988.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 3.7b

localize27.0ms

Local error

Found 4 expressions with local error:

2.8b	(- (sqrt (+ x 1.0)) (sqrt x))
2.9b	(- (sqrt (+ z 1.0)) (sqrt z))
3.7b	(- (+ y 1.0) y)
4.3b	(- (sqrt (+ t 1.0)) (sqrt t))

rewrite116.0ms

Algorithm

rewrite-expression-head

Rules

172×	`*-un-lft-identity`
171×	`sqrt-prod`
138×	`prod-diff`
122×	`add-sqr-sqrt`
96×	`add-cube-cbrt`
29×	`distribute-lft-out`
25×	`fma-neg`
15×	`add-log-exp`
13×	`difference-of-squares`
11×	`distribute-lft-out--`
5×	`diff-log`
4×	`pow1` `add-exp-log` `expm1-log1p-u` `sub-neg` `flip3--` `add-cbrt-cube` `flip--` `log1p-expm1-u`
1×	`associate--l+` `sum-log`

Counts

4 → 245

Calls

4 calls:

28.0ms	(- (sqrt (+ x 1.0)) (sqrt x))
26.0ms	(- (sqrt (+ z 1.0)) (sqrt z))
21.0ms	(- (+ y 1.0) y)
29.0ms	(- (sqrt (+ t 1.0)) (sqrt t))

series215.0ms

Counts

4 → 12

Calls

4 calls:

71.0ms	(- (sqrt (+ x 1.0)) (sqrt x))
70.0ms	(- (sqrt (+ z 1.0)) (sqrt z))
1.0ms	(- (+ y 1.0) y)
72.0ms	(- (sqrt (+ t 1.0)) (sqrt t))

simplify75.0ms

Iterations

Useful iterations: 0 (16.0ms)

Iter	Nodes	Cost
0	389	5903