Details

sample1.2s

Algorithm

intervals

Results

847.0ms	3503×	body	80	nan
120.0ms	167×	body	640	valid
19.0ms	50×	body	320	valid
3.0ms	16×	body	160	valid
2.0ms	21×	body	80	valid
2.0ms	2×	body	1280	valid

simplify1.1s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	24	31
1	51	31
2	155	31
3	895	31
done	5000	31

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.8b

localize48.0ms

Local error

Found 4 expressions with local error:

2.6b	(- (sqrt (+ t 1.0)) (sqrt t))
3.0b	(- (sqrt (+ z 1.0)) (sqrt z))
3.2b	(- (sqrt (+ y 1.0)) (sqrt y))
3.6b	(- (sqrt (+ x 1.0)) (sqrt x))

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

71.0ms	(- (sqrt (+ t 1.0)) (sqrt t))
82.0ms	(- (sqrt (+ z 1.0)) (sqrt z))
79.0ms	(- (sqrt (+ y 1.0)) (sqrt y))
69.0ms	(- (sqrt (+ x 1.0)) (sqrt x))

series301.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify1.8s

Counts

292 → 292

Iterations

Useful iterations: done (1.7s)

Iter	Nodes	Cost
0	437	7222
1	991	5127
2	3208	3879
done	5001	3639

prune1.7s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 3.2b

localize65.0ms

Local error

Found 4 expressions with local error:

1.9b	(- (+ y 1.0) y)
2.6b	(- (sqrt (+ t 1.0)) (sqrt t))
3.0b	(- (sqrt (+ z 1.0)) (sqrt z))
3.6b	(- (sqrt (+ x 1.0)) (sqrt x))

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

61.0ms	(- (+ y 1.0) y)
55.0ms	(- (sqrt (+ t 1.0)) (sqrt t))
52.0ms	(- (sqrt (+ z 1.0)) (sqrt z))
56.0ms	(- (sqrt (+ x 1.0)) (sqrt x))

series249.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(- (+ y 1.0) y)
84.0ms	(- (sqrt (+ t 1.0)) (sqrt t))
80.0ms	(- (sqrt (+ z 1.0)) (sqrt z))
82.0ms	(- (sqrt (+ x 1.0)) (sqrt x))

simplify1.8s

Counts

257 → 257

Iterations

Useful iterations: done (1.8s)

Iter	Nodes	Cost
0	389	5903
1	885	4222
2	2926	3205
done	5000	2632

prune1.3s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.4b

localize72.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (+ 1.0 0) (+ (sqrt t) (sqrt (+ 1.0 t))))
1.9b	(- (+ y 1.0) y)
3.0b	(- (sqrt (+ z 1.0)) (sqrt z))
3.6b	(- (sqrt (+ x 1.0)) (sqrt x))

rewrite335.0ms

Algorithm

rewrite-expression-head

Rules

184×	`*-un-lft-identity`
134×	`sqrt-prod`
98×	`add-sqr-sqrt`
96×	`prod-diff`
80×	`add-cube-cbrt`
48×	`distribute-lft-out`
24×	`times-frac`
18×	`fma-neg`
13×	`add-log-exp`
9×	`difference-of-squares`
8×	`distribute-lft-out--`
6×	`add-exp-log` `associate-/r*` `add-cbrt-cube`
4×	`pow1` `expm1-log1p-u` `diff-log` `log1p-expm1-u` `associate-/l*`
3×	`sub-neg` `flip3--` `flip--`
2×	`flip3-+` `associate-/r/` `flip-+` `associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `associate--l+` `clear-num` `sum-log` `div-inv`

Counts

4 → 227

Calls

4 calls:

99.0ms	(/ (+ 1.0 0) (+ (sqrt t) (sqrt (+ 1.0 t))))
60.0ms	(- (+ y 1.0) y)
67.0ms	(- (sqrt (+ z 1.0)) (sqrt z))
86.0ms	(- (sqrt (+ x 1.0)) (sqrt x))

series403.0ms

Counts

4 → 12

Calls

4 calls:

188.0ms	(/ (+ 1.0 0) (+ (sqrt t) (sqrt (+ 1.0 t))))
2.0ms	(- (+ y 1.0) y)
97.0ms	(- (sqrt (+ z 1.0)) (sqrt z))
116.0ms	(- (sqrt (+ x 1.0)) (sqrt x))

simplify1.9s

Counts

239 → 239

Iterations

Useful iterations: 2 (790.0ms)

Iter	Nodes	Cost
0	396	5115
1	940	3735
2	3437	2975
done	5001	2975

prune1.5s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.3b

localize69.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (+ 1.0 0) (+ (sqrt t) (sqrt (+ 1.0 t))))
1.9b	(- (+ y 1.0) y)
2.4b	(- (+ x 1.0) x)
3.0b	(- (sqrt (+ z 1.0)) (sqrt z))

rewrite256.0ms

Algorithm

rewrite-expression-head

Rules

156×	`*-un-lft-identity`
77×	`sqrt-prod`
72×	`add-sqr-sqrt`
66×	`prod-diff`
60×	`add-cube-cbrt`
45×	`distribute-lft-out`
24×	`times-frac`
16×	`add-log-exp`
15×	`fma-neg`
7×	`distribute-lft-out--`
6×	`add-exp-log` `associate-/r*` `add-cbrt-cube` `difference-of-squares`
5×	`diff-log`
4×	`pow1` `expm1-log1p-u` `log1p-expm1-u` `associate-/l*`
3×	`sub-neg` `flip3--` `flip--`
2×	`flip3-+` `associate--l+` `sum-log` `associate-/r/` `flip-+` `associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv`

Counts

4 → 192

Calls

4 calls:

60.0ms	(/ (+ 1.0 0) (+ (sqrt t) (sqrt (+ 1.0 t))))
46.0ms	(- (+ y 1.0) y)
62.0ms	(- (+ x 1.0) x)
77.0ms	(- (sqrt (+ z 1.0)) (sqrt z))

series308.0ms

Counts

4 → 12

Calls

4 calls:

229.0ms	(/ (+ 1.0 0) (+ (sqrt t) (sqrt (+ 1.0 t))))
1.0ms	(- (+ y 1.0) y)
1.0ms	(- (+ x 1.0) x)
76.0ms	(- (sqrt (+ z 1.0)) (sqrt z))

simplify1.9s

Counts

204 → 204

Iterations

Useful iterations: done (1.9s)

Iter	Nodes	Cost
0	347	3796
1	834	2828
2	3282	2301
done	5000	2193

prune1.7s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.3b

regimes2.0s

bsearch0.0ms

simplify12.0ms

Iterations

Useful iterations: 1 (6.0ms)

Iter	Nodes	Cost
0	30	43
1	41	41
2	45	41
done	45	41

end0.0ms

sample1.1s

Algorithm

intervals

Results

780.0ms	2906×	body	80	nan
142.0ms	123×	body	640	valid
16.0ms	45×	body	320	valid
2.0ms	10×	body	160	valid
1.0ms	10×	body	80	valid
0.0ms	1×	body	1280	valid