Details

sample165.0ms

Algorithm

intervals

Results

58.0ms	61×	body	1280	valid
30.0ms	294×	body	80	nan
18.0ms	166×	body	80	valid
12.0ms	29×	body	640	valid
10.0ms	11×	body	2560	valid
3.0ms	9×	body	320	valid
2.0ms	9×	body	160	valid

simplify80.0ms

Counts

1 → 1

Iterations

Iter	Nodes
done	86
6	86
5	84
4	78
3	67
2	50
1	32
0	18

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 21.3b

localize30.0ms

Local error

Found 4 expressions with local error:

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

rewrite69.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` `insert-posit16` `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 → 76

Calls

4 calls:

12.0ms	(/ a (* b 3.0))
29.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
10.0ms	(/ (* z t) 3.0)
17.0ms	(cos (- y (/ (* z t) 3.0)))

series199.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(/ a (* b 3.0))
111.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
20.0ms	(/ (* z t) 3.0)
46.0ms	(cos (- y (/ (* z t) 3.0)))

simplify1.3s

Counts

88 → 88

Iterations

Iter	Nodes
done	5000
2	1367
1	425
0	174

prune689.0ms

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 16.5b

localize57.0ms

Local error

Found 4 expressions with local error:

0.4b	(/ (* z t) 3.0)
0.4b	(/ (* z t) 3.0)
32.9b	(sin (/ (* z t) 3.0))
33.3b	(cos (/ (* z t) 3.0))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-cbrt-cube` `add-exp-log`
8×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
6×	`associate-/r*` `times-frac`
4×	`pow1` `cbrt-undiv` `div-exp` `insert-posit16` `add-log-exp`
2×	`clear-num` `frac-2neg` `prod-exp` `cbrt-unprod` `div-inv` `associate-/l*`

Counts

4 → 60

Calls

4 calls:

9.0ms	(/ (* z t) 3.0)
9.0ms	(/ (* z t) 3.0)
3.0ms	(sin (/ (* z t) 3.0))
3.0ms	(cos (/ (* z t) 3.0))

series72.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(/ (* z t) 3.0)
20.0ms	(/ (* z t) 3.0)
21.0ms	(sin (/ (* z t) 3.0))
11.0ms	(cos (/ (* z t) 3.0))

simplify1.4s

Counts

72 → 72

Iterations

Iter	Nodes
done	5382
3	2344
2	510
1	148
0	72

prune729.0ms

Pruning

29 alts after pruning (29 fresh and 0 done)

Merged error: 16.3b

localize68.0ms

Local error

Found 4 expressions with local error:

0.5b	(/ 1 (/ 3.0 (* z t)))
0.6b	(/ 3.0 (* z t))
32.9b	(sin (/ (* z t) 3.0))
33.3b	(cos (/ 1 (/ 3.0 (* z t))))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

36×	`times-frac`
30×	`add-exp-log`
22×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
18×	`add-cbrt-cube`
14×	`div-exp`
8×	`associate-/r*`
7×	`cbrt-undiv`
6×	`div-inv` `associate-/l*`
5×	`pow1`
4×	`prod-exp` `insert-posit16` `add-log-exp`
3×	`rec-exp` `1-exp`
2×	`clear-num` `frac-2neg` `cbrt-unprod`
1×	`associate-/r/` `pow-flip` `inv-pow`

Counts

4 → 95

Calls

4 calls:

17.0ms	(/ 1 (/ 3.0 (* z t)))
8.0ms	(/ 3.0 (* z t))
4.0ms	(sin (/ (* z t) 3.0))
8.0ms	(cos (/ 1 (/ 3.0 (* z t))))

series85.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(/ 1 (/ 3.0 (* z t)))
26.0ms	(/ 3.0 (* z t))
21.0ms	(sin (/ (* z t) 3.0))
11.0ms	(cos (/ 1 (/ 3.0 (* z t))))

simplify2.2s

Counts

107 → 107

Iterations

Iter	Nodes
done	5039
3	4446
2	860
1	306
0	144

prune972.0ms

Pruning

31 alts after pruning (31 fresh and 0 done)

Merged error: 16.2b

localize85.0ms

Local error

Found 4 expressions with local error:

32.9b	(sin (/ (* z t) 3.0))
32.9b	(sin (/ (* z t) 3.0))
32.9b	(sin (/ (* z t) 3.0))
33.3b	(cos (/ 1 (/ 3.0 (* z t))))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

4×	`add-sqr-sqrt` `pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `insert-posit16` `add-log-exp`

Counts

4 → 32

Calls

4 calls:

3.0ms	(sin (/ (* z t) 3.0))
9.0ms	(sin (/ (* z t) 3.0))
3.0ms	(sin (/ (* z t) 3.0))
5.0ms	(cos (/ 1 (/ 3.0 (* z t))))

series63.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(sin (/ (* z t) 3.0))
17.0ms	(sin (/ (* z t) 3.0))
17.0ms	(sin (/ (* z t) 3.0))
11.0ms	(cos (/ 1 (/ 3.0 (* z t))))

simplify2.5s

Counts

44 → 44

Iterations

Iter	Nodes
done	5001
9	3077
8	1222
7	693
6	451
5	232
4	153
3	86
2	62
1	44
0	31

prune494.0ms

Pruning

31 alts after pruning (31 fresh and 0 done)

Merged error: 16.2b

regimes5.8s

Accuracy

46.5% (2.0b remaining)

Error of 17.8b against oracle of 15.8b and baseline of 19.6b

bsearch4.0ms

simplify13.0ms

Iterations

Iter	Nodes
done	53
1	53
0	39

end0.0ms

sample5.9s

Algorithm

intervals

Results

1.6s	8986×	body	80	nan
1.2s	1620×	body	1280	valid
1.1s	5597×	body	80	valid
631.0ms	899×	body	640	valid
394.0ms	362×	body	2560	valid
176.0ms	411×	body	320	valid
47.0ms	218×	body	160	valid