Details

sample38.0ms

Algorithm

intervals

Results

17.0ms

269×

body

valid

simplify3.8s

Counts

1 → 1

Iterations

Useful iterations: 4 (99.0ms)

Iter	Nodes	Cost
0	12	246
1	25	246
2	58	246
3	103	246
4	207	221
5	559	221
6	1263	221
7	2159	221
8	3012	221
9	4334	221
done	5009	221

prune30.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 2 expressions with local error:

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

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 64

Calls

2 calls:

0.0ms	(fma (/ (- z y) (+ (- t z) 1.0)) a x)
56.0ms	(/ (- z y) (+ (- t z) 1.0))

series207.0ms

Counts

2 → 6

Calls

2 calls:

156.0ms	(fma (/ (- z y) (+ (- t z) 1.0)) a x)
51.0ms	(/ (- z y) (+ (- t z) 1.0))

simplify2.9s

Counts

70 → 70

Iterations

Useful iterations: 3 (951.0ms)

Iter	Nodes	Cost
0	111	20350
1	268	18971
2	741	18826
3	2780	18751
done	5023	18751

prune390.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize20.0ms

Local error

Found 3 expressions with local error:

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

rewrite166.0ms

Algorithm

rewrite-expression-head

Rules

61×	`*-un-lft-identity`
32×	`add-sqr-sqrt` `times-frac`
23×	`add-cube-cbrt`
21×	`associate-r`
16×	`add-exp-log`
14×	`distribute-lft-out`
10×	`add-cbrt-cube`
8×	`distribute-lft-out--`
6×	`pow1`
5×	`associate-/r` `associate-l*`
4×	`div-exp` `prod-exp` `associate-/r/`
3×	`expm1-log1p-u` `log1p-expm1-u` `associate-/l*` `add-log-exp` `unswap-sqr`
2×	`frac-times` `cbrt-undiv` `rec-exp` `flip3-+` `flip3--` `1-exp` `associate-*l/` `cbrt-unprod` `flip-+` `div-inv` `flip--`
1×	`clear-num` `frac-2neg` `pow-prod-down` `associate-r/` `un-div-inv` `-commutative` `fma-udef` `pow-flip` `inv-pow` `difference-of-squares`

Counts

3 → 105

Calls

3 calls:

51.0ms	(/ 1 (+ (- t z) 1.0))
0.0ms	(fma (* (- z y) (/ 1 (+ (- t z) 1.0))) a x)
110.0ms	(* (- z y) (/ 1 (+ (- t z) 1.0)))

series249.0ms

Counts

3 → 9

Calls

3 calls:

43.0ms	(/ 1 (+ (- t z) 1.0))
146.0ms	(fma (* (- z y) (/ 1 (+ (- t z) 1.0))) a x)
60.0ms	(* (- z y) (/ 1 (+ (- t z) 1.0)))

simplify103.0ms

Iterations

Useful iterations: 0 (15.0ms)

Iter	Nodes	Cost
0	151	29720