Details

sample25.0ms

Algorithm

intervals

Results

10.0ms

278×

body

valid

simplify6.3s

Counts

1 → 1

Iterations

Useful iterations: 3 (13.0ms)

Iter	Nodes	Cost
0	10	205
1	17	205
2	30	205
3	52	180
4	95	180
5	146	180
6	204	180
7	257	180
8	338	180
9	413	180
10	585	180
11	859	180
12	1283	180
13	1801	180
14	2378	180
15	2840	180
16	3146	180
17	3489	180
18	3790	180
19	4132	180
20	4431	180
21	4733	180
done	5000	180

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize14.0ms

Local error

Found 2 expressions with local error:

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

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 49

Calls

2 calls:

9.0ms	(/ y (- a t))
0.0ms	(fma (/ y (- a t)) (- z t) x)

series284.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify1.7s

Counts

55 → 55

Iterations

Useful iterations: 3 (444.0ms)

Iter	Nodes	Cost
0	92	11470
1	173	10773
2	443	10693
3	1234	10643
done	5001	10643

prune327.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- a t) y)
0.5b	(/ 1 (/ (- a t) y))
3.0b	(fma (/ 1 (/ (- a t) y)) (- z t) x)

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

132×	`times-frac`
101×	`add-sqr-sqrt` `*-un-lft-identity`
69×	`add-cube-cbrt`
22×	`associate-/r*`
16×	`add-exp-log` `distribute-lft-out--` `difference-of-squares`
10×	`add-cbrt-cube`
8×	`div-exp` `associate-/l*`
6×	`div-inv`
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×	`flip3--` `div-sub` `associate-/r/` `fma-udef` `pow-flip` `flip--` `inv-pow`

Counts

3 → 152

Calls

3 calls:

17.0ms	(/ (- a t) y)
15.0ms	(/ 1 (/ (- a t) y))
0.0ms	(fma (/ 1 (/ (- a t) y)) (- z t) x)

series422.0ms

Counts

3 → 9

Calls

3 calls:

46.0ms	(/ (- a t) y)
114.0ms	(/ 1 (/ (- a t) y))
261.0ms	(fma (/ 1 (/ (- a t) y)) (- z t) x)

simplify210.0ms

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	210	47839