Details

sample148.0ms

Algorithm

intervals

Results

51.0ms	260×	body	80	valid
32.0ms	31×	body	1280	valid
26.0ms	33×	body	640	valid
12.0ms	19×	body	320	valid
6.0ms	16×	body	160	valid

simplify343.0ms

Calls

1 calls:

Slowest

343.0ms

(/ (cos (* 2 x)) (* (pow cos 2) (* (* x (pow sin 2)) x)))

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 2.5b

localize31.0ms

Local error

Found 4 expressions with local error:

4.6b	(* sin (* x cos))
4.6b	(* sin (* x cos))
0.3b	(* (* sin (* x cos)) (* sin (* x cos)))
0.2b	(/ (cos (* 2 x)) (* (* sin (* x cos)) (* sin (* x cos))))

rewrite446.0ms

Algorithm

rewrite-expression-head

Rules

535×	`add-sqr-sqrt`
460×	`associate-r`
262×	`associate-l`
252×	`times-frac`
241×	`*-un-lft-identity`
223×	`unswap-sqr`
201×	`add-cube-cbrt`
130×	`swap-sqr`
128×	`pow1`
97×	`add-cbrt-cube` `add-exp-log`
84×	`associate-/r*`
72×	`pow-prod-down`
60×	`prod-exp` `cbrt-unprod`
49×	`*-commutative`
10×	`cbrt-undiv` `div-exp`
9×	`pow-sqr` `pow-prod-up`
4×	`insert-posit16` `add-log-exp`
3×	`pow-plus` `associate-/l*`
1×	`pow2` `clear-num` `frac-2neg` `div-sub` `cos-2` `div-inv`

Calls

4 calls:

Slowest

204.0ms	(/ (cos (* 2 x)) (* (* sin (* x cos)) (* sin (* x cos))))
139.0ms	(* (* sin (* x cos)) (* sin (* x cos)))
40.0ms	(* sin (* x cos))
36.0ms	(* sin (* x cos))

series315.0ms

Calls

4 calls:

Slowest

130.0ms	(/ (cos (* 2 x)) (* (* sin (* x cos)) (* sin (* x cos))))
84.0ms	(* (* sin (* x cos)) (* sin (* x cos)))
53.0ms	(* sin (* x cos))
47.0ms	(* sin (* x cos))

simplify1.9m

Calls

834 calls:

Slowest

1.8s	(/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* (* (* sin sin) sin) (* (* (* x x) x) (* (* cos cos) cos))) (* (* (* sin (* x cos)) (* sin (* x cos))) (* sin (* x cos)))))
1.3s	(/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* (* (* sin (* x cos)) (* sin (* x cos))) (* sin (* x cos))) (* (* (* sin sin) sin) (* (* (* x x) x) (* (* cos cos) cos)))))
1.3s	(/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* (* (* sin sin) sin) (* (* (* x cos) (* x cos)) (* x cos))) (* (* (* sin (* x cos)) (* sin (* x cos))) (* sin (* x cos)))))
1.3s	(/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* (* (* sin sin) sin) (* (* (* x cos) (* x cos)) (* x cos))) (* (* (* sin sin) sin) (* (* (* x x) x) (* (* cos cos) cos)))))
1.3s	(/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* (* (* sin (* x cos)) (* sin (* x cos))) (* sin (* x cos))) (* (* (* sin sin) sin) (* (* (* x cos) (* x cos)) (* x cos)))))

prune6.1s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0b

localize10.0ms

Local error

Found 4 expressions with local error:

3.4b	(* (* x sin) cos)
3.4b	(* (* x sin) cos)
0.3b	(* (* (* x sin) cos) (* (* x sin) cos))
0.2b	(/ (cos (* 2 x)) (* (* (* x sin) cos) (* (* x sin) cos)))

rewrite449.0ms

Algorithm

rewrite-expression-head

Rules

537×	`add-sqr-sqrt`
500×	`associate-l`
263×	`*-un-lft-identity`
258×	`times-frac`
242×	`associate-r`
223×	`unswap-sqr`
203×	`add-cube-cbrt`
140×	`swap-sqr`
128×	`pow1`
97×	`add-cbrt-cube` `add-exp-log`
86×	`associate-/r*`
72×	`pow-prod-down`
60×	`prod-exp` `cbrt-unprod`
49×	`*-commutative`
10×	`cbrt-undiv` `div-exp`
9×	`pow-sqr` `pow-prod-up`
4×	`insert-posit16` `add-log-exp`
3×	`pow-plus` `associate-/l*`
1×	`pow2` `clear-num` `frac-2neg` `div-sub` `cos-2` `div-inv`

Calls

4 calls:

Slowest

220.0ms	(/ (cos (* 2 x)) (* (* (* x sin) cos) (* (* x sin) cos)))
164.0ms	(* (* (* x sin) cos) (* (* x sin) cos))
26.0ms	(* (* x sin) cos)
19.0ms	(* (* x sin) cos)

series230.0ms

Calls

4 calls:

Slowest

95.0ms	(/ (cos (* 2 x)) (* (* (* x sin) cos) (* (* x sin) cos)))
67.0ms	(* (* (* x sin) cos) (* (* x sin) cos))
34.0ms	(* (* x sin) cos)
34.0ms	(* (* x sin) cos)

simplify1.9m

Calls

851 calls:

Slowest

1.5s	(/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* (* (* (* x sin) (* x sin)) (* x sin)) (* (* cos cos) cos)) (* (* (* (* x sin) cos) (* (* x sin) cos)) (* (* x sin) cos))))
1.4s	(/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* (* (* (* x x) x) (* (* sin sin) sin)) (* (* cos cos) cos)) (* (* (* (* x sin) cos) (* (* x sin) cos)) (* (* x sin) cos))))
1.3s	(/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* (* (* (* x sin) (* x sin)) (* x sin)) (* (* cos cos) cos)) (* (* (* (* x x) x) (* (* sin sin) sin)) (* (* cos cos) cos))))
1.2s	(/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* (* (* (* x sin) cos) (* (* x sin) cos)) (* (* x sin) cos)) (* (* (* (* x sin) (* x sin)) (* x sin)) (* (* cos cos) cos))))
1.1s	(/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* (* (* (* x sin) cos) (* (* x sin) cos)) (* (* x sin) cos)) (* (* (* (* x x) x) (* (* sin sin) sin)) (* (* cos cos) cos))))

prune6.2s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0b

localize17.0ms

Local error

Found 4 expressions with local error:

4.6b	(* sin (* x cos))
4.6b	(* sin (* x cos))
0.6b	(/ (cos (* 2 x)) (* sin (* x cos)))
0.6b	(/ 1 (* sin (* x cos)))

rewrite189.0ms

Algorithm

rewrite-expression-head

Rules

168×	`add-sqr-sqrt`
150×	`associate-r`
132×	`times-frac`
98×	`*-un-lft-identity` `add-cube-cbrt`
60×	`associate-l`
44×	`associate-/r*` `add-exp-log`
40×	`unswap-sqr`
32×	`add-cbrt-cube`
20×	`pow1` `*-commutative`
18×	`prod-exp`
12×	`cbrt-unprod`
9×	`div-exp` `pow-prod-down`
6×	`cbrt-undiv` `associate-/l*`
4×	`insert-posit16` `add-log-exp`
3×	`rec-exp` `1-exp` `pow-flip`
2×	`clear-num` `frac-2neg` `div-inv`
1×	`div-sub` `cos-2` `inv-pow`

Calls

4 calls:

Slowest

69.0ms	(/ (cos (* 2 x)) (* sin (* x cos)))
59.0ms	(/ 1 (* sin (* x cos)))
32.0ms	(* sin (* x cos))
19.0ms	(* sin (* x cos))

series186.0ms

Calls

4 calls:

Slowest

73.0ms	(/ (cos (* 2 x)) (* sin (* x cos)))
42.0ms	(* sin (* x cos))
37.0ms	(* sin (* x cos))
33.0ms	(/ 1 (* sin (* x cos)))

simplify18.1s

Calls

377 calls:

Slowest

601.0ms	(* (* (* sin sin) sin) (* (* (* x cos) (* x cos)) (* x cos)))
594.0ms	(* (* (* sin sin) sin) (* (* (* x cos) (* x cos)) (* x cos)))
494.0ms	(/ (* (cbrt 1) (cbrt 1)) (* sin (* x 1)))
481.0ms	(* (* (* sin sin) sin) (* (* (* x x) x) (* (* cos cos) cos)))
384.0ms	(* (* (* sin sin) sin) (* (* (* x x) x) (* (* cos cos) cos)))

prune3.4s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0b

localize5.0ms

Local error

Found 4 expressions with local error:

4.6b	(* sin (* x cos))
3.4b	(* (* x sin) cos)
0.3b	(* (* (* x sin) cos) (* sin (* x cos)))
0.2b	(/ (cos (* 2 x)) (* (* (* x sin) cos) (* sin (* x cos))))

rewrite571.0ms

Algorithm

rewrite-expression-head

Rules

390×	`add-sqr-sqrt`
241×	`associate-l`
236×	`associate-r`
183×	`unswap-sqr`
177×	`times-frac`
126×	`*-un-lft-identity` `add-cube-cbrt`
97×	`add-cbrt-cube` `add-exp-log`
60×	`prod-exp` `cbrt-unprod`
59×	`associate-/r*`
50×	`pow1`
34×	`*-commutative`
33×	`pow-prod-down`
10×	`cbrt-undiv` `div-exp`
5×	`swap-sqr`
4×	`insert-posit16` `add-log-exp`
3×	`associate-/l*`
1×	`clear-num` `frac-2neg` `div-sub` `cos-2` `div-inv`

Calls

4 calls:

Slowest

285.0ms	(/ (cos (* 2 x)) (* (* (* x sin) cos) (* sin (* x cos))))
199.0ms	(* (* (* x sin) cos) (* sin (* x cos)))
42.0ms	(* (* x sin) cos)
28.0ms	(* sin (* x cos))

series279.0ms

Calls

4 calls:

Slowest

114.0ms	(/ (cos (* 2 x)) (* (* (* x sin) cos) (* sin (* x cos))))
89.0ms	(* (* (* x sin) cos) (* sin (* x cos)))
46.0ms	(* sin (* x cos))
28.0ms	(* (* x sin) cos)

simplify1.4m

Calls

566 calls:

Slowest

2.3s	(/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* (* (* (* x x) x) (* (* sin sin) sin)) (* (* cos cos) cos)) (* (* (* sin sin) sin) (* (* (* x x) x) (* (* cos cos) cos)))))
1.6s	(/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* (* (* (* x sin) (* x sin)) (* x sin)) (* (* cos cos) cos)) (* (* (* sin sin) sin) (* (* (* x cos) (* x cos)) (* x cos)))))
1.6s	(/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* (* (* (* x sin) cos) (* (* x sin) cos)) (* (* x sin) cos)) (* (* (* sin (* x cos)) (* sin (* x cos))) (* sin (* x cos)))))
1.3s	(/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* (* (* (* x x) x) (* (* sin sin) sin)) (* (* cos cos) cos)) (* (* (* sin (* x cos)) (* sin (* x cos))) (* sin (* x cos)))))
1.2s	(/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* (* (* (* x sin) (* x sin)) (* x sin)) (* (* cos cos) cos)) (* (* (* sin (* x cos)) (* sin (* x cos))) (* sin (* x cos)))))

prune5.0s

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 0b

regimes193.0ms

Accuracy

0% (2.6b remaining)

Error of 2.7b against oracle of 0.1b and baseline of 2.7b

bsearch1.0ms

end0.0ms

sample5.1s

Algorithm

intervals

Results

2.5s	9007×	body	80	valid
959.0ms	778×	body	1280	valid
871.0ms	953×	body	640	valid
408.0ms	603×	body	320	valid
117.0ms	311×	body	160	valid