Details

sample102.0ms

Algorithm

intervals

Results

20.0ms	326×	body	80	nan
19.0ms	43×	body	1280	valid
11.0ms	181×	body	80	valid
10.0ms	15×	body	2560	valid
8.0ms	31×	body	640	valid
3.0ms	18×	body	320	valid
1.0ms	8×	body	160	valid

simplify42.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	19
1	32	19
2	54	19
3	75	19
4	88	19
5	91	19
done	91	19

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 21.9b

localize17.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (* z t) 3.0)
0.2b	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
0.5b	(/ a (* b 3.0))
24.6b	(cos (- y (/ (* z t) 3.0)))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-exp-log` `add-cbrt-cube`
9×	`pow1` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`times-frac`
5×	`prod-exp` `cbrt-unprod`
4×	`cbrt-undiv` `div-exp` `associate-/r` `associate-/l` `add-log-exp`
3×	`cos-diff` `associate-r` `pow-prod-down`
2×	`cos-sum` `frac-2neg` `clear-num` `div-inv`
1×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-l` `*-commutative`

Counts

4 → 72

Calls

4 calls:

3.0ms	(/ (* z t) 3.0)
11.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
3.0ms	(/ a (* b 3.0))
8.0ms	(cos (- y (/ (* z t) 3.0)))

series158.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(/ (* z t) 3.0)
88.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
18.0ms	(/ a (* b 3.0))
35.0ms	(cos (- y (/ (* z t) 3.0)))

simplify499.0ms

Counts

84 → 84

Iterations

Useful iterations: 2 (118.0ms)

Iter	Nodes	Cost
0	170	993
1	412	961
2	1578	813
done	5001	813

prune326.0ms

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 18.2b

localize31.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* 2.0 (sqrt x)) (- (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (- (/ (* z t) 3.0))))))
0.5b	(/ a (* b 3.0))
30.2b	(sin (- (/ (* z t) 3.0)))
30.3b	(cos (/ (* z t) 3.0))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-exp-log` `add-cbrt-cube`
9×	`pow1`
7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`associate-*r/` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`times-frac` `associate-r` `pow-prod-down` `associate-/l*`
2×	`cbrt-undiv` `distribute-rgt-in` `sub-neg` `distribute-lft-in` `div-exp` `cos-mult` `sin-mult`
1×	`neg-sub0` `flip3--` `frac-2neg` `associate-l` `sin-neg` `clear-num` `associate-/r` `sin-diff` `-commutative` `frac-sub` `flip--` `div-inv` `sub-div`

Counts

4 → 63

Calls

4 calls:

22.0ms	(* (* 2.0 (sqrt x)) (- (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (- (/ (* z t) 3.0))))))
3.0ms	(/ a (* b 3.0))
3.0ms	(sin (- (/ (* z t) 3.0)))
2.0ms	(cos (/ (* z t) 3.0))

series259.0ms

Counts

4 → 12

Calls

4 calls:

211.0ms	(* (* 2.0 (sqrt x)) (- (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (- (/ (* z t) 3.0))))))
19.0ms	(/ a (* b 3.0))
19.0ms	(sin (- (/ (* z t) 3.0)))
11.0ms	(cos (/ (* z t) 3.0))

simplify551.0ms

Counts

75 → 75

Iterations

Useful iterations: done (549.0ms)

Iter	Nodes	Cost
0	179	1421
1	451	1390
2	1736	1151
done	5000	1149

prune444.0ms

Pruning

27 alts after pruning (27 fresh and 0 done)

Merged error: 18.1b

localize34.0ms

Local error

Found 4 expressions with local error:

30.2b	(sin (- (/ (* z t) 3.0)))
30.3b	(cos (/ (* z t) 3.0))
30.3b	(cos (/ (* z t) 3.0))
30.3b	(cos (/ (* z t) 3.0))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

4×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `add-log-exp`
1×	`neg-sub0` `sin-neg` `sin-diff`

Counts

4 → 30

Calls

4 calls:

3.0ms	(sin (- (/ (* z t) 3.0)))
1.0ms	(cos (/ (* z t) 3.0))
1.0ms	(cos (/ (* z t) 3.0))
1.0ms	(cos (/ (* z t) 3.0))

series47.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(sin (- (/ (* z t) 3.0)))
9.0ms	(cos (/ (* z t) 3.0))
9.0ms	(cos (/ (* z t) 3.0))
10.0ms	(cos (/ (* z t) 3.0))

simplify1.1m

Counts

42 → 42

Iterations

Useful iterations: 3 (32.0ms)

Iter	Nodes	Cost
0	37	372
1	58	370
2	109	313
3	173	311
4	269	311
5	611	311
6	3112	311
done	5000	311

prune394.0ms

Pruning

27 alts after pruning (27 fresh and 0 done)

Merged error: 18.1b

localize38.0ms

Local error

Found 4 expressions with local error:

30.2b	(sin (- (/ (* z t) 3.0)))
30.3b	(cos (/ (* z t) 3.0))
30.3b	(cos (/ (* z t) 3.0))
30.3b	(cos (/ (* z t) 3.0))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

4×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `add-log-exp`
1×	`neg-sub0` `sin-neg` `sin-diff`

Counts

4 → 30

Calls

4 calls:

3.0ms	(sin (- (/ (* z t) 3.0)))
1.0ms	(cos (/ (* z t) 3.0))
1.0ms	(cos (/ (* z t) 3.0))
1.0ms	(cos (/ (* z t) 3.0))

series47.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(sin (- (/ (* z t) 3.0)))
9.0ms	(cos (/ (* z t) 3.0))
9.0ms	(cos (/ (* z t) 3.0))
10.0ms	(cos (/ (* z t) 3.0))

simplify1.1m

Counts

42 → 42

Iterations

Useful iterations: 3 (31.0ms)

Iter	Nodes	Cost
0	37	372
1	58	370
2	109	313
3	173	311
4	269	311
5	611	311
6	3112	311
done	5000	311

prune305.0ms

Pruning

27 alts after pruning (27 fresh and 0 done)

Merged error: 18.1b

regimes2.3s

Accuracy

63.4% (1.4b remaining)

Error of 17.9b against oracle of 16.5b and baseline of 20.3b

bsearch3.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	44	83
1	57	83
2	63	83
done	63	83

end0.0ms

sample2.9s

Algorithm

intervals

Results

628.0ms	1612×	body	1280	valid
611.0ms	9196×	body	80	nan
345.0ms	5572×	body	80	valid
260.0ms	962×	body	640	valid
219.0ms	332×	body	2560	valid
81.0ms	419×	body	320	valid
29.0ms	197×	body	160	valid

Details

sample102.0ms

simplify42.0ms

prune3.0ms

localize17.0ms

rewrite26.0ms

series158.0ms

simplify499.0ms

prune326.0ms

localize31.0ms

rewrite32.0ms

series259.0ms

simplify551.0ms

prune444.0ms

localize34.0ms

rewrite8.0ms

series47.0ms

simplify1.1m

prune394.0ms

localize38.0ms

rewrite8.0ms

series47.0ms

simplify1.1m

prune305.0ms

regimes2.3s

bsearch3.0ms

simplify6.0ms

end0.0ms

sample2.9s

end7.7m