Details

sample50.0ms

Algorithm

intervals

Results

22.0ms

274×

body

valid

simplify12.2s

Counts

1 → 1

Iterations

Iter	Nodes
done	5001
28	4899
27	4696
26	4489
25	4286
24	4080
23	3877
22	3670
21	3465
20	3259
19	3046
18	2824
17	2609
16	2364
15	2076
14	1696
13	1449
12	951
11	553
10	297
9	244
8	206
7	184
6	166
5	131
4	87
3	54
2	35
1	21
0	10

prune46.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.6b

localize84.0ms

Local error

Found 3 expressions with local error:

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

rewrite392.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:

13.0ms	(+ x (* y (/ (- z t) (- z a))))
44.0ms	(/ (- z t) (- z a))
325.0ms	(* y (/ (- z t) (- z a)))

series566.0ms

Counts

3 → 9

Calls

3 calls:

294.0ms	(+ x (* y (/ (- z t) (- z a))))
101.0ms	(/ (- z t) (- z a))
171.0ms	(* y (/ (- z t) (- z a)))

simplify4.7s

Counts

122 → 122

Iterations

Iter	Nodes
done	5001
2	1371
1	441
0	162

prune2.2s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize385.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (- z a))
0.6b	(cbrt (- z t))
0.6b	(cbrt (- z t))
0.6b	(cbrt (- z t))

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

20×	`cbrt-prod`
16×	`add-sqr-sqrt` `*-un-lft-identity`
8×	`add-cube-cbrt` `cbrt-div`
4×	`pow1` `add-exp-log` `flip3--` `pow1/3` `add-cbrt-cube` `flip--` `distribute-lft-out--` `add-log-exp` `difference-of-squares`

Counts

4 → 60

Calls

4 calls:

8.0ms	(cbrt (- z a))
10.0ms	(cbrt (- z t))
9.0ms	(cbrt (- z t))
12.0ms	(cbrt (- z t))

series2.6s

Counts

4 → 12

Calls

4 calls:

599.0ms	(cbrt (- z a))
506.0ms	(cbrt (- z t))
290.0ms	(cbrt (- z t))
1.2s	(cbrt (- z t))

simplify10.1s

Counts

72 → 72

Iterations

Iter	Nodes
done	5004
4	2582
3	1017
2	490
1	245
0	118

prune1.8s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize41.0ms

Local error

Found 4 expressions with local error:

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

rewrite936.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 130

Calls

4 calls:

28.0ms	(/ t (- z a))
162.0ms	(+ x (* y (- (/ z (- z a)) (/ t (- z a)))))
39.0ms	(/ z (- z a))
643.0ms	(* y (- (/ z (- z a)) (/ t (- z a))))

series1.2s

Counts

4 → 12

Calls

4 calls:

94.0ms	(/ t (- z a))
189.0ms	(+ x (* y (- (/ z (- z a)) (/ t (- z a)))))
137.0ms	(/ z (- z a))
706.0ms	(* y (- (/ z (- z a)) (/ t (- z a))))

simplify4.2s

Counts

142 → 142

Iterations

Iter	Nodes
done	5000
2	1524
1	494
0	204

prune2.0s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

localize114.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ z (- z a))
0.0b	(+ (* y (/ z (- z a))) (* y (- (/ t (- z a)))))
2.7b	(* y (/ z (- z a)))
5.8b	(* y (- (/ t (- z a))))

rewrite377.0ms

Algorithm

rewrite-expression-head

Rules

77×	`add-sqr-sqrt`
70×	`*-un-lft-identity`
67×	`associate-r`
61×	`times-frac`
44×	`add-cube-cbrt`
21×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
13×	`add-exp-log` `add-cbrt-cube` `distribute-lft-out--` `difference-of-squares`
8×	`pow1` `associate-/r/`
6×	`associate-l` `add-log-exp`
5×	`associate-/r*`
4×	`flip3--` `associate-*r/` `flip--` `div-inv`
3×	`prod-exp` `distribute-rgt-neg-out` `cbrt-unprod` `associate-/l*` `unswap-sqr`
2×	`cbrt-undiv` `div-exp` `pow-prod-down` `*-commutative` `distribute-neg-frac`
1×	`+-commutative` `neg-mul-1` `frac-2neg` `flip3-+` `unsub-neg` `frac-add` `clear-num` `sum-log` `flip-+` `distribute-lft-out`

Counts

4 → 155

Calls

4 calls:

24.0ms	(/ z (- z a))
40.0ms	(+ (* y (/ z (- z a))) (* y (- (/ t (- z a)))))
98.0ms	(* y (/ z (- z a)))
155.0ms	(* y (- (/ t (- z a))))

series674.0ms

Counts

4 → 12

Calls

4 calls:

79.0ms	(/ z (- z a))
347.0ms	(+ (* y (/ z (- z a))) (* y (- (/ t (- z a)))))
91.0ms	(* y (/ z (- z a)))
154.0ms	(* y (- (/ t (- z a))))

simplify5.2s

Counts

167 → 167

Iterations

Iter	Nodes
done	5008
2	2104
1	600
0	222

prune3.1s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

regimes1.4s

Accuracy

0% (0.5b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations

Iter	Nodes
done	17
1	17
0	14

end0.0ms

sample2.5s

Algorithm

intervals

Results

1.5s	8749×	body	80	valid
3.0ms	1×	body	320	valid