Details

sample197.0ms

Algorithm

intervals

Results

60.0ms	45×	body	1280	valid
40.0ms	331×	body	80	nan
19.0ms	193×	body	80	valid
16.0ms	38×	body	640	valid
12.0ms	12×	body	2560	valid
3.0ms	10×	body	320	valid
0.0ms	2×	body	160	valid

simplify47.0ms

Counts

1 → 1

Iterations

Iter	Nodes
done	92
5	92
4	89
3	76
2	54
1	32
0	18

prune34.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 19.3b

localize36.0ms

Local error

Found 4 expressions with local error:

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

rewrite74.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 72

Calls

4 calls:

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

series231.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(/ (* z t) 3.0)
28.0ms	(/ a (* b 3.0))
129.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
48.0ms	(cos (- y (/ (* z t) 3.0)))

simplify818.0ms

Counts

84 → 84

Iterations

Iter	Nodes
done	5000
2	1965
1	420
0	170

prune598.0ms

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 15.2b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 72

Calls

4 calls:

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

series201.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(/ (* z t) 3.0)
29.0ms	(/ (* a 0.3333333333333333) b)
104.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
40.0ms	(cos (- y (/ (* z t) 3.0)))

simplify992.0ms

Counts

84 → 84

Iterations

Iter	Nodes
done	5001
2	2253
1	443
0	175

prune655.0ms

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 14.8b

localize47.0ms

Local error

Found 4 expressions with local error:

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

rewrite62.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 121

Calls

4 calls:

8.0ms	(/ (* z t) 3.0)
7.0ms	(/ a (/ b 0.3333333333333333))
22.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
18.0ms	(cos (- y (/ (* z t) 3.0)))

series233.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(/ (* z t) 3.0)
26.0ms	(/ a (/ b 0.3333333333333333))
127.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
53.0ms	(cos (- y (/ (* z t) 3.0)))

simplify843.0ms

Counts

133 → 133

Iterations

Iter	Nodes
done	5000
2	3275
1	692
0	274

prune1.3s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 14.8b

localize34.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.4b	(/ (/ a b) (/ 1 0.3333333333333333))
24.6b	(cos (- y (/ (* z t) 3.0)))

rewrite107.0ms

Algorithm

rewrite-expression-head

Rules

424×	`times-frac`
203×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
36×	`add-exp-log`
30×	`div-inv`
26×	`add-cbrt-cube`
18×	`div-exp`
16×	`associate-/r*`
14×	`associate-/l*`
10×	`cbrt-undiv`
9×	`pow1`
4×	`prod-exp` `cbrt-unprod` `add-log-exp`
3×	`cos-diff` `associate-r` `pow-prod-down`
2×	`rec-exp` `cos-sum` `clear-num` `frac-2neg` `1-exp`
1×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-l` `associate-/r/` `*-commutative` `associate-/l/`

Counts

4 → 270

Calls

4 calls:

9.0ms	(/ (* z t) 3.0)
36.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
22.0ms	(/ (/ a b) (/ 1 0.3333333333333333))
19.0ms	(cos (- y (/ (* z t) 3.0)))

series210.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(/ (* z t) 3.0)
106.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
31.0ms	(/ (/ a b) (/ 1 0.3333333333333333))
53.0ms	(cos (- y (/ (* z t) 3.0)))

simplify688.0ms

Counts

282 → 282

Iterations

Iter	Nodes
done	5001
1	1661
0	531

prune1.3s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 14.8b

regimes4.6s

Accuracy

22.3% (3.6b remaining)

Error of 19.4b against oracle of 15.8b and baseline of 20.5b

bsearch248.0ms

Steps

Iters	Range		Point
6	1.3754484980528106e-09	7.42116589675916e-09	7.3479631428414116e-09
7	-1.5543271266065759e+38	-3.3325838537415514e+36	-3.3904626364554314e+36

simplify5.0ms

Iterations

Iter	Nodes
done	58
1	58
0	45

end0.0ms

sample6.3s

Algorithm

intervals

Results

2.2s	9021×	body	80	nan
1.1s	1537×	body	1280	valid
725.0ms	409×	body	2560	valid
616.0ms	5565×	body	80	valid
494.0ms	994×	body	640	valid
177.0ms	458×	body	320	valid
63.0ms	185×	body	160	valid