Details

sample46.0ms

Algorithm

intervals

Results

19.0ms

278×

body

valid

simplify8.0s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	205
1	17	205
2	30	205
3	49	205
4	86	205
5	123	205
6	177	205
7	218	205
8	272	205
9	376	205
10	540	205
11	799	205
12	1239	205
13	1689	205
14	2076	205
15	2425	205
16	2689	205
17	2954	205
18	3205	205
19	3468	205
20	3724	205
21	3975	205
22	4221	205
23	4485	205
24	4738	205
25	4987	205
done	5001	205

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 10.5b

localize22.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (/ (* y (- z t)) (- a t)))
0.0b	(* y (- z t))
10.6b	(/ (* y (- z t)) (- a t))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt` `*-un-lft-identity`
10×	`add-cbrt-cube` `add-exp-log`
7×	`add-cube-cbrt`
5×	`pow1` `associate-/r` `times-frac` `associate-r*` `add-log-exp`
4×	`associate-*r/`
3×	`flip3--` `associate-l` `flip--` `distribute-lft-out--` `difference-of-squares`
2×	`distribute-rgt-in` `cbrt-undiv` `sub-neg` `distribute-lft-in` `div-exp` `prod-exp` `associate-/r/` `cbrt-unprod` `associate-/l/`
1×	`+-commutative` `clear-num` `sum-log` `frac-2neg` `flip3-+` `pow-prod-down` `-commutative` `flip-+` `div-inv` `distribute-lft-out` `associate-/l` `unswap-sqr`

Counts

3 → 67

Calls

3 calls:

16.0ms	(+ x (/ (* y (- z t)) (- a t)))
16.0ms	(* y (- z t))
17.0ms	(/ (* y (- z t)) (- a t))

series287.0ms

Counts

3 → 9

Calls

3 calls:

136.0ms	(+ x (/ (* y (- z t)) (- a t)))
53.0ms	(* y (- z t))
97.0ms	(/ (* y (- z t)) (- a t))

simplify3.0s

Counts

76 → 76

Iterations

Useful iterations: 3 (1.5s)

Iter	Nodes	Cost
0	128	15960
1	344	14381
2	1030	14221
3	4209	14061
done	5026	14061

prune507.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (/ y (/ (- a t) (- z t))))
0.0b	(/ (- a t) (- z t))
1.6b	(/ y (/ (- a t) (- z t)))

rewrite158.0ms

Algorithm

rewrite-expression-head

Rules

218×	`times-frac`
197×	`*-un-lft-identity`
195×	`add-sqr-sqrt`
91×	`add-cube-cbrt`
52×	`distribute-lft-out--` `difference-of-squares`
36×	`associate-/r*`
11×	`associate-/r/`
10×	`add-cbrt-cube` `add-exp-log`
8×	`associate-/l*`
6×	`flip3--` `div-inv` `flip--`
5×	`add-log-exp`
4×	`cbrt-undiv` `div-exp`
3×	`pow1`
2×	`clear-num` `frac-2neg` `associate-/l/`
1×	`+-commutative` `sum-log` `flip3-+` `div-sub` `flip-+` `distribute-lft-out`

Counts

3 → 206

Calls

3 calls:

92.0ms	(+ x (/ y (/ (- a t) (- z t))))
27.0ms	(/ (- a t) (- z t))
23.0ms	(/ y (/ (- a t) (- z t)))

series487.0ms

Counts

3 → 9

Calls

3 calls:

188.0ms	(+ x (/ y (/ (- a t) (- z t))))
74.0ms	(/ (- a t) (- z t))
225.0ms	(/ y (/ (- a t) (- z t)))

simplify2.4s

Counts

215 → 215

Iterations

Useful iterations: done (2.4s)

Iter	Nodes	Cost
0	292	81959
1	780	75909
2	2701	74566
done	5002	74323

prune1.2s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize36.0ms

Local error

Found 4 expressions with local error:

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

rewrite151.0ms

Algorithm

rewrite-expression-head

Rules

49×	`add-sqr-sqrt`
45×	`*-un-lft-identity`
35×	`times-frac`
32×	`add-exp-log`
26×	`add-cube-cbrt`
21×	`associate-r`
20×	`add-cbrt-cube`
11×	`div-exp`
10×	`associate-/r/`
8×	`prod-exp` `distribute-lft-out--` `difference-of-squares`
7×	`pow1`
6×	`cbrt-undiv` `associate-/r` `flip3--` `flip--` `associate-/l` `add-log-exp`
5×	`associate-l`
4×	`frac-times` `associate-*l/` `cbrt-unprod`
3×	`rec-exp` `1-exp` `div-inv` `unswap-sqr`
2×	`clear-num` `frac-2neg` `associate-*r/` `un-div-inv`
1×	`+-commutative` `sum-log` `flip3-+` `pow-prod-down` `*-commutative` `flip-+` `pow-flip` `distribute-lft-out` `inv-pow`

Counts

4 → 134

Calls

4 calls:

20.0ms	(+ x (/ y (* (- a t) (/ 1 (- z t)))))
19.0ms	(/ 1 (- z t))
76.0ms	(* (- a t) (/ 1 (- z t)))
32.0ms	(/ y (* (- a t) (/ 1 (- z t))))

series523.0ms

Counts

4 → 12

Calls

4 calls:

166.0ms	(+ x (/ y (* (- a t) (/ 1 (- z t)))))
53.0ms	(/ 1 (- z t))
80.0ms	(* (- a t) (/ 1 (- z t)))
225.0ms	(/ y (* (- a t) (/ 1 (- z t))))

simplify172.0ms

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	193	36884