Details

sample147.0ms

Algorithm

intervals

Results

30.0ms	354×	body	80	nan
25.0ms	54×	body	1280	valid
20.0ms	30×	body	640	valid
14.0ms	177×	body	80	valid
7.0ms	9×	body	2560	valid
4.0ms	17×	body	320	valid
2.0ms	14×	body	160	valid

simplify92.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

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

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 18.8b

localize32.0ms

Local error

Found 4 expressions with local error:

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

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

9.0ms	(/ a (* b 3.0))
10.0ms	(/ (* z t) 3.0)
28.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
16.0ms	(cos (- y (/ (* z t) 3.0)))

series180.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(/ a (* b 3.0))
19.0ms	(/ (* z t) 3.0)
103.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
38.0ms	(cos (- y (/ (* z t) 3.0)))

simplify1.0s

Counts

84 → 84

Iterations

Useful iterations: done (1.0s)

Iter	Nodes	Cost
0	170	993
1	420	965
2	1961	821
done	5001	813

prune360.0ms

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 15.5b

localize52.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (sin y) (sin (- (/ (* z t) 3.0))))
0.2b	(* (* 2.0 (sqrt x)) (- (* (cos (/ (* z t) 3.0)) (cos y)) (* (sin y) (sin (- (/ (* z t) 3.0))))))
23.8b	(sin (- (/ (* z t) 3.0)))
23.9b	(cos (/ (* z t) 3.0))

rewrite134.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 62

Calls

4 calls:

23.0ms	(* (sin y) (sin (- (/ (* z t) 3.0))))
92.0ms	(* (* 2.0 (sqrt x)) (- (* (cos (/ (* z t) 3.0)) (cos y)) (* (sin y) (sin (- (/ (* z t) 3.0))))))
11.0ms	(sin (- (/ (* z t) 3.0)))
6.0ms	(cos (/ (* z t) 3.0))

series365.0ms

Counts

4 → 12

Calls

4 calls:

63.0ms	(* (sin y) (sin (- (/ (* z t) 3.0))))
251.0ms	(* (* 2.0 (sqrt x)) (- (* (cos (/ (* z t) 3.0)) (cos y)) (* (sin y) (sin (- (/ (* z t) 3.0))))))
33.0ms	(sin (- (/ (* z t) 3.0)))
18.0ms	(cos (/ (* z t) 3.0))

simplify1.3s

Counts

74 → 74

Iterations

Useful iterations: done (1.2s)

Iter	Nodes	Cost
0	153	1540
1	400	1492
2	1984	1260
done	5002	1220

prune639.0ms

Pruning

27 alts after pruning (27 fresh and 0 done)

Merged error: 15.0b

localize58.0ms

Local error

Found 4 expressions with local error:

0.4b	(pow (- (sin (/ z (/ 3.0 t)))) 3)
15.0b	(cbrt (pow (- (sin (/ z (/ 3.0 t)))) 3))
23.9b	(sin (/ z (/ 3.0 t)))
23.9b	(cos (/ (* z t) 3.0))

rewrite60.0ms

Algorithm

rewrite-expression-head

Rules

26×	`cbrt-prod`
20×	`unpow-prod-down` `cube-prod`
18×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
12×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
5×	`pow1` `add-exp-log` `add-cbrt-cube`
4×	`neg-mul-1` `add-log-exp`
3×	`pow-unpow`
2×	`cube-mult` `unpow3` `sqr-pow`
1×	`pow-to-exp` `pow-pow` `pow1/3` `cube-neg` `pow-exp` `rem-cbrt-cube` `rem-cube-cbrt`

Counts

4 → 87

Calls

4 calls:

25.0ms	(pow (- (sin (/ z (/ 3.0 t)))) 3)
17.0ms	(cbrt (pow (- (sin (/ z (/ 3.0 t)))) 3))
10.0ms	(sin (/ z (/ 3.0 t)))
5.0ms	(cos (/ (* z t) 3.0))

series163.0ms

Counts

4 → 12

Calls

4 calls:

68.0ms	(pow (- (sin (/ z (/ 3.0 t)))) 3)
65.0ms	(cbrt (pow (- (sin (/ z (/ 3.0 t)))) 3))
17.0ms	(sin (/ z (/ 3.0 t)))
12.0ms	(cos (/ (* z t) 3.0))

simplify1.6s

Counts

99 → 99

Iterations

Useful iterations: 2 (226.0ms)

Iter	Nodes	Cost
0	108	1481
1	321	1204
2	1725	1061
done	5000	1061

prune680.0ms

Pruning

28 alts after pruning (28 fresh and 0 done)

Merged error: 15.0b

localize68.0ms

Local error

Found 4 expressions with local error:

17.9b	(cbrt (pow (cbrt (sin (/ z (/ 3.0 t)))) 6))
23.9b	(sin (/ z (/ 3.0 t)))
23.9b	(sin (/ z (/ 3.0 t)))
23.9b	(cos (/ (* z t) 3.0))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

13×	`cbrt-prod`
7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`unpow-prod-down`
4×	`pow1` `add-exp-log` `add-cbrt-cube` `add-log-exp`
1×	`pow1/3` `sqr-pow`

Counts

4 → 39

Calls

4 calls:

14.0ms	(cbrt (pow (cbrt (sin (/ z (/ 3.0 t)))) 6))
8.0ms	(sin (/ z (/ 3.0 t)))
10.0ms	(sin (/ z (/ 3.0 t)))
5.0ms	(cos (/ (* z t) 3.0))

series169.0ms

Counts

4 → 12

Calls

4 calls:

104.0ms	(cbrt (pow (cbrt (sin (/ z (/ 3.0 t)))) 6))
19.0ms	(sin (/ z (/ 3.0 t)))
30.0ms	(sin (/ z (/ 3.0 t)))
16.0ms	(cos (/ (* z t) 3.0))

simplify907.0ms

Counts

51 → 51

Iterations

Useful iterations: done (905.0ms)

Iter	Nodes	Cost
0	79	627
1	134	613
2	294	524
3	1005	496
done	5001	494

prune425.0ms

Pruning

28 alts after pruning (27 fresh and 1 done)

Merged error: 15.0b

regimes3.8s

Accuracy

53.2% (2.1b remaining)

Error of 17.6b against oracle of 15.5b and baseline of 20.0b

bsearch3.0ms

simplify17.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	44	72
1	57	72
2	65	72
3	69	72
done	69	72

end0.0ms

sample6.6s

Algorithm

intervals

Results

1.5s	9259×	body	80	nan
1.2s	1592×	body	1280	valid
1.0s	5624×	body	80	valid
509.0ms	421×	body	320	valid
501.0ms	929×	body	640	valid
418.0ms	395×	body	2560	valid
65.0ms	200×	body	160	valid