Details

sample37.0ms

Algorithm

intervals

Results

18.0ms

277×

body

valid

simplify2.9s

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

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.7b

localize16.0ms

Local error

Found 2 expressions with local error:

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

rewrite49.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` `insert-posit16` `div-inv` `add-log-exp` `unswap-sqr` `associate-/l/`
1×	`clear-num` `frac-2neg` `div-sub` `pow-prod-down` `associate-r/` `-commutative`

Counts

2 → 104

Calls

2 calls:

18.0ms	(/ (- z t) (- a t))
27.0ms	(* y (/ (- z t) (- a t)))

series144.0ms

Counts

2 → 6

Calls

2 calls:

60.0ms	(/ (- z t) (- a t))
83.0ms	(* y (/ (- z t) (- a t)))

simplify3.2s

Counts

110 → 110

Iterations

Iter	Nodes
done	5013
3	4675
2	1154
1	369
0	140

prune554.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 2 expressions with local error:

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

rewrite59.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt`
12×	`*-un-lft-identity`
9×	`add-cbrt-cube` `add-exp-log`
6×	`add-cube-cbrt`
5×	`associate-/r` `times-frac` `associate-r*`
4×	`pow1` `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` `insert-posit16` `add-log-exp` `associate-/l/`
1×	`clear-num` `frac-2neg` `pow-prod-down` `-commutative` `div-inv` `associate-/l` `unswap-sqr`

Counts

2 → 57

Calls

2 calls:

25.0ms	(* y (- z t))
33.0ms	(/ (* y (- z t)) (- a t))

series137.0ms

Counts

2 → 6

Calls

2 calls:

52.0ms	(* y (- z t))
85.0ms	(/ (* y (- z t)) (- a t))

simplify2.0s

Counts

63 → 63

Iterations

Iter	Nodes
done	5017
3	3417
2	809
1	275
0	107

prune293.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize17.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- a t) (- z t))
2.6b	(/ y (/ (- a t) (- z t)))

rewrite74.0ms

Algorithm

rewrite-expression-head

Rules

218×	`times-frac`
194×	`add-sqr-sqrt` `*-un-lft-identity`
90×	`add-cube-cbrt`
52×	`distribute-lft-out--` `difference-of-squares`
36×	`associate-/r*`
11×	`associate-/r/`
9×	`add-cbrt-cube` `add-exp-log`
8×	`associate-/l*`
6×	`flip3--` `div-inv` `flip--`
4×	`cbrt-undiv` `div-exp`
2×	`pow1` `clear-num` `frac-2neg` `insert-posit16` `add-log-exp` `associate-/l/`
1×	`div-sub`

Counts

2 → 196

Calls

2 calls:

39.0ms	(/ (- a t) (- z t))
27.0ms	(/ y (/ (- a t) (- z t)))

series335.0ms

Counts

2 → 6

Calls

2 calls:

87.0ms	(/ (- a t) (- z t))
247.0ms	(/ y (/ (- a t) (- z t)))

simplify2.0s

Counts

202 → 202

Iterations

Iter	Nodes
done	5001
2	2511
1	718
0	272

prune916.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ a (- z t))
0.0b	(- (/ a (- z t)) (/ t (- z t)))
0.0b	(/ t (- z t))
2.6b	(/ y (- (/ a (- z t)) (/ t (- z t))))

rewrite188.0ms

Algorithm

rewrite-expression-head

Rules

203×	`*-un-lft-identity`
174×	`times-frac`
153×	`add-sqr-sqrt`
68×	`distribute-lft-out--`
57×	`add-cube-cbrt`
38×	`difference-of-squares`
28×	`associate-/r*` `associate-/r/`
15×	`distribute-rgt-out--`
14×	`flip3--` `flip--`
13×	`div-inv`
10×	`add-cbrt-cube` `add-exp-log`
9×	`associate-/l*`
6×	`add-log-exp`
4×	`pow1` `insert-posit16`
3×	`cbrt-undiv` `clear-num` `frac-2neg` `div-exp`
2×	`frac-sub` `sub-div`
1×	`sub-neg` `diff-log`

Counts

4 → 198

Calls

4 calls:

14.0ms	(/ a (- z t))
74.0ms	(- (/ a (- z t)) (/ t (- z t)))
16.0ms	(/ t (- z t))
75.0ms	(/ y (- (/ a (- z t)) (/ t (- z t))))

series411.0ms

Counts

4 → 12

Calls

4 calls:

55.0ms	(/ a (- z t))
105.0ms	(- (/ a (- z t)) (/ t (- z t)))
77.0ms	(/ t (- z t))
173.0ms	(/ y (- (/ a (- z t)) (/ t (- z t))))

simplify1.7s

Counts

210 → 210

Iterations

Iter	Nodes
done	5001
2	1745
1	554
0	276

prune1.0s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes495.0ms

Accuracy

-10.2% (1.3b remaining)

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

bsearch73.0ms

Steps

Iters	Range		Point
8	1.0896861391745654e-218	9.172294578684738e-216	2.7589848075703794e-216
5	-12.86585752737214	-3.9158998195986108	-4.347512852047913

simplify4.0ms

Iterations

Iter	Nodes
done	29
1	29
0	24

end0.0ms

sample959.0ms

Algorithm

intervals

Results

643.0ms	8690×	body	80	valid
0.0ms	2×	body	640	valid
0.0ms	1×	body	2560	valid