Details

sample45.0ms

Algorithm

intervals

Results

19.0ms	284×	body	80	valid
0.0ms	1×	body	160	valid

simplify7.6s

Counts

1 → 1

Iterations

Useful iterations: 3 (26.0ms)

Iter	Nodes	Cost
0	10	205
1	17	205
2	33	205
3	58	180
4	94	180
5	139	180
6	198	180
7	276	180
8	343	180
9	408	180
10	514	180
11	892	180
12	1673	180
13	2610	180
14	3174	180
15	3643	180
16	4030	180
17	4374	180
18	4706	180
done	5000	180

prune19.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize19.0ms

Local error

Found 2 expressions with local error:

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

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

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

series181.0ms

Counts

2 → 6

Calls

2 calls:

64.0ms	(/ (- y z) (- a z))
117.0ms	(fma (/ (- y z) (- a z)) t x)

simplify2.5s

Counts

70 → 70

Iterations

Useful iterations: 2 (254.0ms)

Iter	Nodes	Cost
0	113	18029
1	264	17105
2	652	17025
3	2055	17025
done	5001	17025

prune415.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 3 expressions with local error:

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

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

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

series539.0ms

Counts

3 → 9

Calls

3 calls:

73.0ms	(/ (- a z) (- y z))
180.0ms	(/ 1 (/ (- a z) (- y z)))
285.0ms	(fma (/ 1 (/ (- a z) (- y z))) t x)

simplify302.0ms

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	270	82720