Details

sample26.0ms

Algorithm

intervals

Results

11.0ms

291×

body

valid

simplify3.4s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
29	4873
28	4661
27	4456
26	4244
25	4037
24	3825
23	3620
22	3408
21	3199
20	2984
19	2775
18	2560
17	2343
16	2094
15	1816
14	1445
13	1266
12	898
11	542
10	315
9	258
8	217
7	197
6	168
5	129
4	86
3	53
2	34
1	20
0	10

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.1b

localize27.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- z t) (- a t))
2.1b	(* y (/ (- z t) (- a t)))

rewrite120.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 102

Calls

2 calls:

34.0ms	(/ (- z t) (- a t))
77.0ms	(* y (/ (- z t) (- a t)))

series176.0ms

Counts

2 → 6

Calls

2 calls:

75.0ms	(/ (- z t) (- a t))
101.0ms	(* y (/ (- z t) (- a t)))

simplify2.9s

Counts

108 → 108

Iterations

Iter	Nodes
done	5036
3	4739
2	1149
1	367
0	138

prune574.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ 1 (- a t))
0.2b	(* (- z t) (/ 1 (- a t)))
2.1b	(* y (* (- z t) (/ 1 (- a t))))

rewrite174.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 119

Calls

3 calls:

18.0ms	(/ 1 (- a t))
75.0ms	(* (- z t) (/ 1 (- a t)))
74.0ms	(* y (* (- z t) (/ 1 (- a t))))

series274.0ms

Counts

3 → 9

Calls

3 calls:

50.0ms	(/ 1 (- a t))
90.0ms	(* (- z t) (/ 1 (- a t)))
133.0ms	(* y (* (- z t) (/ 1 (- a t))))

simplify1.7s

Counts

128 → 128

Iterations

Iter	Nodes
done	5001
2	1344
1	402
0	158

prune659.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

localize37.0ms

Local error

Found 4 expressions with local error:

2.1b	(* y (* (* (cbrt (/ (- z t) (- a t))) (cbrt (/ (- z t) (- a t)))) (cbrt (/ (- z t) (- a t)))))
3.2b	(cbrt (/ (- z t) (- a t)))
3.2b	(cbrt (/ (- z t) (- a t)))
3.2b	(cbrt (/ (- z t) (- a t)))

rewrite436.0ms

Algorithm

rewrite-expression-head

Rules

98×	`add-sqr-sqrt` `*-un-lft-identity`
93×	`cbrt-prod`
75×	`times-frac`
38×	`add-cube-cbrt`
30×	`distribute-lft-out--` `difference-of-squares`
15×	`cbrt-div`
13×	`pow1` `add-exp-log`
10×	`associate-*r/`
9×	`add-cbrt-cube`
6×	`pow-prod-down` `prod-exp` `associate-/r/` `cbrt-unprod`
5×	`frac-times` `associate-*l/`
4×	`add-log-exp`
3×	`flip3--` `pow1/3` `associate-l` `div-inv` `flip--`
1×	`associate-r` `*-commutative`

Counts

4 → 148

Calls

4 calls:

393.0ms	(* y (* (* (cbrt (/ (- z t) (- a t))) (cbrt (/ (- z t) (- a t)))) (cbrt (/ (- z t) (- a t)))))
15.0ms	(cbrt (/ (- z t) (- a t)))
8.0ms	(cbrt (/ (- z t) (- a t)))
8.0ms	(cbrt (/ (- z t) (- a t)))

series1.5s

Counts

4 → 12

Calls

4 calls:

106.0ms	(* y (* (* (cbrt (/ (- z t) (- a t))) (cbrt (/ (- z t) (- a t)))) (cbrt (/ (- z t) (- a t)))))
468.0ms	(cbrt (/ (- z t) (- a t)))
495.0ms	(cbrt (/ (- z t) (- a t)))
421.0ms	(cbrt (/ (- z t) (- a t)))

simplify2.3s

Counts

160 → 160

Iterations

Iter	Nodes
done	5004
3	2543
2	996
1	441
0	208

prune1.2s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

localize69.0ms

Local error

Found 4 expressions with local error:

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

rewrite489.0ms

Algorithm

rewrite-expression-head

Rules

70×	`add-sqr-sqrt` `*-un-lft-identity`
67×	`cbrt-prod`
50×	`times-frac`
28×	`add-cube-cbrt`
21×	`distribute-lft-out--` `difference-of-squares`
18×	`add-exp-log`
13×	`pow1`
12×	`cbrt-div`
11×	`add-cbrt-cube`
10×	`associate-*r/`
9×	`prod-exp` `cbrt-unprod`
6×	`pow-prod-down`
5×	`frac-times` `associate-*l/`
4×	`associate-/r/` `add-log-exp`
3×	`flip3--` `pow1/3` `associate-l` `flip--`
2×	`div-inv`
1×	`cbrt-undiv` `div-exp` `associate-r` `*-commutative`

Counts

4 → 125

Calls

4 calls:

3.0ms	(cbrt (- a t))
459.0ms	(* y (* (* (/ (cbrt (- z t)) (cbrt (- a t))) (cbrt (/ (- z t) (- a t)))) (cbrt (/ (- z t) (- a t)))))
8.0ms	(cbrt (/ (- z t) (- a t)))
13.0ms	(cbrt (/ (- z t) (- a t)))

series1.2s

Counts

4 → 12

Calls

4 calls:

217.0ms	(cbrt (- a t))
95.0ms	(* y (* (* (/ (cbrt (- z t)) (cbrt (- a t))) (cbrt (/ (- z t) (- a t)))) (cbrt (/ (- z t) (- a t)))))
468.0ms	(cbrt (/ (- z t) (- a t)))
436.0ms	(cbrt (/ (- z t) (- a t)))

simplify2.2s

Counts

137 → 137

Iterations

Iter	Nodes
done	5001
2	1463
1	572
0	256

prune1.2s

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0b

regimes691.0ms

Accuracy

-15.6% (1.5b remaining)

Error of 1.5b against oracle of 0.0b and baseline of 1.3b

bsearch2.0ms

simplify8.0ms

Iterations

Iter	Nodes
done	33
1	33
0	24

end0.0ms

sample1.1s

Algorithm

intervals

Results

565.0ms	8760×	body	80	valid
0.0ms	1×	body	320	valid