Details

sample241.0ms

Algorithm

intervals

Results

88.0ms	294×	body	80	nan
54.0ms	61×	body	1280	valid
26.0ms	166×	body	80	valid
22.0ms	29×	body	640	valid
13.0ms	11×	body	2560	valid
4.0ms	9×	body	320	valid
3.0ms	9×	body	160	valid

simplify73.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

localize35.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)))

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

6.0ms	(/ a (* b 3.0))
28.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
12.0ms	(/ (* z t) 3.0)
15.0ms	(cos (- y (/ (* z t) 3.0)))

series220.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(/ a (* b 3.0))
128.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
26.0ms	(/ (* z t) 3.0)
39.0ms	(cos (- y (/ (* z t) 3.0)))

simplify1.3s

Counts

88 → 88

Iterations

Iter	Nodes
done	5000
2	1367
1	425
0	174

prune758.0ms

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 16.5b

localize77.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))

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

12.0ms	(/ (* z t) 3.0)
12.0ms	(/ (* z t) 3.0)
4.0ms	(sin (/ (* z t) 3.0))
4.0ms	(cos (/ (* z t) 3.0))

series86.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(/ (* z t) 3.0)
24.0ms	(/ (* z t) 3.0)
21.0ms	(sin (/ (* z t) 3.0))
15.0ms	(cos (/ (* z t) 3.0))

simplify1.5s

Counts

72 → 72

Iterations

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

prune773.0ms

Pruning

29 alts after pruning (29 fresh and 0 done)

Merged error: 16.3b

localize57.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))))

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

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

series90.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify2.6s

Counts

107 → 107

Iterations

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

prune1.1s

Pruning

31 alts after pruning (31 fresh and 0 done)

Merged error: 16.2b

localize68.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))))

rewrite15.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))
3.0ms	(sin (/ (* z t) 3.0))
3.0ms	(sin (/ (* z t) 3.0))
5.0ms	(cos (/ 1 (/ 3.0 (* z t))))

series80.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(sin (/ (* z t) 3.0))
20.0ms	(sin (/ (* z t) 3.0))
27.0ms	(sin (/ (* z t) 3.0))
12.0ms	(cos (/ 1 (/ 3.0 (* z t))))

simplify2.9s

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

prune480.0ms

Pruning

31 alts after pruning (31 fresh and 0 done)

Merged error: 16.2b

regimes5.3s

Accuracy

46.5% (2.0b remaining)

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

bsearch3.0ms

simplify9.0ms

Iterations

Iter	Nodes
done	53
1	53
0	39

end0.0ms

sample8.9s

Algorithm

intervals

Results

2.9s	8986×	body	80	nan
1.9s	1620×	body	1280	valid
1.5s	5597×	body	80	valid
891.0ms	899×	body	640	valid
618.0ms	362×	body	2560	valid
285.0ms	411×	body	320	valid
108.0ms	218×	body	160	valid