Details

sample41.0ms

Algorithm

intervals

Results

17.0ms

278×

body

valid

simplify7.3s

Counts

1 → 1

Iterations

Useful iterations: 2 (13.0ms)

Iter	Nodes	Cost
0	10	205
1	20	205
2	36	180
3	57	180
4	94	180
5	152	180
6	225	180
7	262	180
8	287	180
9	347	180
10	447	180
11	750	180
12	1246	180
13	1698	180
14	2029	180
15	2509	180
16	2914	180
17	3272	180
18	3605	180
19	3915	180
20	4220	180
21	4533	180
22	4837	180
done	5001	180

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.0b

localize27.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- z t) (- a t))
1.0b	(fma (/ (- z t) (- a t)) y x)

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

38×	`add-sqr-sqrt` `*-un-lft-identity`
25×	`times-frac`
14×	`add-cube-cbrt`
12×	`distribute-lft-out--` `difference-of-squares`
5×	`associate-/r` `associate-/l`
4×	`add-cbrt-cube` `add-exp-log`
2×	`expm1-log1p-u` `pow1` `flip3--` `associate-/r/` `log1p-expm1-u` `flip--` `add-log-exp` `associate-/l/`
1×	`cbrt-undiv` `clear-num` `frac-2neg` `div-sub` `div-exp` `fma-udef` `div-inv`

Counts

2 → 64

Calls

2 calls:

42.0ms	(/ (- z t) (- a t))
1.0ms	(fma (/ (- z t) (- a t)) y x)

series173.0ms

Counts

2 → 6

Calls

2 calls:

84.0ms	(/ (- z t) (- a t))
90.0ms	(fma (/ (- z t) (- a t)) y x)

simplify2.3s

Counts

70 → 70

Iterations

Useful iterations: 2 (191.0ms)

Iter	Nodes	Cost
0	113	18029
1	264	17105
2	652	17025
3	2056	17025
done	5000	17025

prune566.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 1.0b

localize20.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- a t) (- z t))
0.2b	(/ 1 (/ (- a t) (- z t)))
1.0b	(fma (/ 1 (/ (- a t) (- z t))) y x)

rewrite93.0ms

Algorithm

rewrite-expression-head

Rules

218×	`times-frac`
195×	`add-sqr-sqrt` `*-un-lft-identity`
91×	`add-cube-cbrt`
52×	`distribute-lft-out--` `difference-of-squares`
36×	`associate-/r*`
16×	`add-exp-log`
11×	`associate-/r/`
10×	`add-cbrt-cube`
8×	`div-exp` `associate-/l*`
6×	`flip3--` `div-inv` `flip--`
4×	`pow1` `cbrt-undiv`
3×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
2×	`rec-exp` `clear-num` `frac-2neg` `1-exp` `associate-/l/`
1×	`div-sub` `fma-udef` `pow-flip` `inv-pow`

Counts

3 → 214

Calls

3 calls:

38.0ms	(/ (- a t) (- z t))
31.0ms	(/ 1 (/ (- a t) (- z t)))
0.0ms	(fma (/ 1 (/ (- a t) (- z t))) y x)

series539.0ms

Counts

3 → 9

Calls

3 calls:

55.0ms	(/ (- a t) (- z t))
200.0ms	(/ 1 (/ (- a t) (- z t)))
283.0ms	(fma (/ 1 (/ (- a t) (- z t))) y x)

simplify320.0ms

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	270	82720