Details

sample49.0ms

Algorithm

intervals

Results

20.0ms

273×

body

valid

simplify11.6s

Counts

1 → 1

Iterations

Iter	Nodes
done	5001
28	4917
27	4701
26	4492
25	4264
24	4042
23	3826
22	3617
21	3389
20	3167
19	2949
18	2737
17	2499
16	2259
15	1984
14	1591
13	1407
12	1033
11	660
10	387
9	311
8	254
7	219
6	183
5	130
4	86
3	53
2	34
1	20
0	10

prune17.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize41.0ms

Local error

Found 3 expressions with local error:

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

rewrite287.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 113

Calls

3 calls:

14.0ms	(+ x (* y (/ (- z t) (- a t))))
47.0ms	(/ (- z t) (- a t))
198.0ms	(* y (/ (- z t) (- a t)))

series736.0ms

Counts

3 → 9

Calls

3 calls:

229.0ms	(+ x (* y (/ (- z t) (- a t))))
127.0ms	(/ (- z t) (- a t))
373.0ms	(* y (/ (- z t) (- a t)))

simplify4.7s

Counts

122 → 122

Iterations

Iter	Nodes
done	5002
2	1373
1	439
0	162

prune2.7s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize42.0ms

Local error

Found 4 expressions with local error:

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

rewrite494.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 130

Calls

4 calls:

91.0ms	(+ x (* y (* (- z t) (/ 1 (- a t)))))
113.0ms	(/ 1 (- a t))
133.0ms	(* (- z t) (/ 1 (- a t)))
114.0ms	(* y (* (- z t) (/ 1 (- a t))))

series506.0ms

Counts

4 → 12

Calls

4 calls:

180.0ms	(+ x (* y (* (- z t) (/ 1 (- a t)))))
66.0ms	(/ 1 (- a t))
91.0ms	(* (- z t) (/ 1 (- a t)))
166.0ms	(* y (* (- z t) (/ 1 (- a t))))

simplify7.2s

Counts

142 → 142

Iterations

Iter	Nodes
done	5000
2	1499
1	474
0	182

prune2.5s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize72.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (- a t))
0.6b	(cbrt (- a t))
0.6b	(cbrt (- a t))
6.8b	(* (/ (/ y (cbrt (- a t))) (cbrt (- a t))) (/ (- z t) (cbrt (- a t))))

rewrite685.0ms

Algorithm

rewrite-expression-head

Rules

516×	`times-frac`
433×	`add-sqr-sqrt`
347×	`*-un-lft-identity`
332×	`cbrt-prod`
246×	`associate-l`
207×	`add-cube-cbrt`
70×	`distribute-lft-out--` `difference-of-squares`
46×	`associate-r`
26×	`cbrt-div`
25×	`add-exp-log`
21×	`unswap-sqr`
20×	`associate-/r/`
16×	`add-cbrt-cube`
13×	`flip3--` `flip--`
10×	`div-inv`
9×	`cbrt-undiv` `div-exp`
6×	`pow1` `prod-exp` `cbrt-unprod`
4×	`add-log-exp`
3×	`pow1/3`
1×	`frac-times` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative`

Counts

4 → 382

Calls

4 calls:

9.0ms	(cbrt (- a t))
9.0ms	(cbrt (- a t))
8.0ms	(cbrt (- a t))
565.0ms	(* (/ (/ y (cbrt (- a t))) (cbrt (- a t))) (/ (- z t) (cbrt (- a t))))

series2.5s

Counts

4 → 12

Calls

4 calls:

532.0ms	(cbrt (- a t))
451.0ms	(cbrt (- a t))
746.0ms	(cbrt (- a t))
738.0ms	(* (/ (/ y (cbrt (- a t))) (cbrt (- a t))) (/ (- z t) (cbrt (- a t))))

simplify10.1s

Counts

394 → 394

Iterations

Iter	Nodes
done	5000
2	4666
1	1417
0	440

prune6.8s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

localize53.0ms

Local error

Found 4 expressions with local error:

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

rewrite658.0ms

Algorithm

rewrite-expression-head

Rules

105×	`*-un-lft-identity`
101×	`add-sqr-sqrt`
78×	`times-frac`
45×	`add-cube-cbrt`
38×	`add-exp-log` `add-cbrt-cube`
35×	`associate-r`
22×	`distribute-lft-out--` `difference-of-squares`
19×	`associate-l`
13×	`prod-exp` `cbrt-unprod`
11×	`pow1`
10×	`cbrt-undiv` `frac-times` `div-exp`
9×	`associate-/r*`
8×	`associate-/r/` `distribute-lft-out` `associate-/l*`
7×	`associate-*l/`
6×	`flip3-+` `associate-*r/` `flip-+`
4×	`pow-prod-down` `div-inv` `add-log-exp` `unswap-sqr`
3×	`flip3--` `flip--`
2×	`frac-2neg` `clear-num` `*-commutative` `associate-/l/`
1×	`distribute-rgt-in` `distribute-lft-in` `div-sub`

Counts

4 → 196

Calls

4 calls:

28.0ms	(/ y (+ a t))
50.0ms	(/ (- z t) (- a t))
277.0ms	(* (/ y (+ a t)) (/ (- z t) (- a t)))
270.0ms	(* (* (/ y (+ a t)) (/ (- z t) (- a t))) (+ a t))

series1.5s

Counts

4 → 12

Calls

4 calls:

125.0ms	(/ y (+ a t))
182.0ms	(/ (- z t) (- a t))
429.0ms	(* (/ y (+ a t)) (/ (- z t) (- a t)))
753.0ms	(* (* (/ y (+ a t)) (/ (- z t) (- a t))) (+ a t))

simplify8.7s

Counts

208 → 208

Iterations

Iter	Nodes
done	5006
2	3683
1	840
0	248

prune3.3s

Pruning

6 alts after pruning (2 fresh and 4 done)

Merged error: 0b

regimes1.5s

Accuracy

0% (1.3b remaining)

Error of 1.4b against oracle of 0.0b and baseline of 1.4b

bsearch0.0ms

simplify3.0ms

Iterations

Iter	Nodes
done	12
1	12
0	10

end0.0ms

sample2.1s

Algorithm

intervals

Results

1.0s	8765×	body	80	valid
0.0ms	1×	body	1280	valid