Details

sample248.0ms

Algorithm

intervals

Results

124.0ms	54×	body	2560	valid
65.0ms	81×	body	1280	valid
35.0ms	62×	body	640	valid
9.0ms	30×	body	320	valid
5.0ms	26×	body	160	valid
0.0ms	3×	body	80	valid

simplify17.0ms

Counts: 1 → 1

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.1b

localize8.0ms

Local error

Found 2 expressions with local error:

1.2b	(- x (sin x))
1.2b	(- x (tan x))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt` `*-un-lft-identity` `add-log-exp`
2×	`pow1` `add-exp-log` `add-cube-cbrt` `sub-neg` `flip3--` `diff-log` `add-cbrt-cube` `flip--` `distribute-lft-out--` `difference-of-squares`

Counts

2 → 28

Calls

2 calls:

6.0ms	(- x (sin x))
5.0ms	(- x (tan x))

series92.0ms

Counts

2 → 6

Calls

2 calls:

37.0ms	(- x (sin x))
54.0ms	(- x (tan x))

simplify1.2s

Counts: 34 → 34

prune73.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 28.8b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(pow (- x (sin x)) 3)
1.2b	(- x (sin x))
1.2b	(- x (tan x))
21.8b	(cbrt (pow (- x (sin x)) 3))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt` `*-un-lft-identity`
16×	`cbrt-prod`
10×	`add-cube-cbrt` `unpow-prod-down` `cube-prod`
8×	`add-log-exp`
6×	`distribute-lft-out--` `difference-of-squares`
5×	`pow1` `add-exp-log` `add-cbrt-cube`
4×	`cube-div` `flip3--` `flip--`
3×	`pow-unpow`
2×	`cube-mult` `sub-neg` `cbrt-div` `diff-log` `unpow3` `sqr-pow`
1×	`pow-to-exp` `pow-pow` `pow1/3` `pow-exp` `rem-cbrt-cube` `rem-cube-cbrt`

Counts

4 → 84

Calls

4 calls:

9.0ms	(pow (- x (sin x)) 3)
10.0ms	(- x (sin x))
5.0ms	(- x (tan x))
9.0ms	(cbrt (pow (- x (sin x)) 3))

series171.0ms

Counts

4 → 12

Calls

4 calls:

43.0ms	(pow (- x (sin x)) 3)
31.0ms	(- x (sin x))
54.0ms	(- x (tan x))
44.0ms	(cbrt (pow (- x (sin x)) 3))

simplify451.0ms

Counts: 96 → 96

prune195.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 28.8b

localize20.0ms

Local error

Found 4 expressions with local error:

1.2b	(- x (sin x))
1.2b	(- x (tan x))
5.6b	(cbrt (pow (- x (sin x)) (/ 3 2)))
5.6b	(cbrt (pow (- x (sin x)) (/ 3 2)))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

18×	`cbrt-prod`
16×	`add-sqr-sqrt` `*-un-lft-identity`
10×	`unpow-prod-down`
8×	`add-cube-cbrt` `add-log-exp`
4×	`pow1` `add-exp-log` `add-cbrt-cube` `distribute-lft-out--` `difference-of-squares`
2×	`sub-neg` `flip3--` `pow1/3` `diff-log` `flip--` `sqr-pow`

Counts

4 → 62

Calls

4 calls:

6.0ms	(- x (sin x))
5.0ms	(- x (tan x))
8.0ms	(cbrt (pow (- x (sin x)) (/ 3 2)))
9.0ms	(cbrt (pow (- x (sin x)) (/ 3 2)))

series221.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(- x (sin x))
67.0ms	(- x (tan x))
81.0ms	(cbrt (pow (- x (sin x)) (/ 3 2)))
39.0ms	(cbrt (pow (- x (sin x)) (/ 3 2)))

simplify973.0ms

Counts: 74 → 74

prune221.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 28.8b

localize24.0ms

Local error

Found 4 expressions with local error:

5.6b	(cbrt (pow (- x (sin x)) (/ 3 2)))
5.6b	(cbrt (pow (- x (sin x)) (/ 3 2)))
5.6b	(cbrt (pow (- x (sin x)) (/ 3 2)))
5.6b	(cbrt (pow (- x (sin x)) (/ 3 2)))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

36×	`cbrt-prod`
20×	`add-sqr-sqrt` `unpow-prod-down` `*-un-lft-identity`
12×	`add-cube-cbrt`
4×	`pow1` `add-exp-log` `pow1/3` `add-cbrt-cube` `distribute-lft-out--` `add-log-exp` `difference-of-squares` `sqr-pow`

Counts

4 → 68

Calls

4 calls:

8.0ms	(cbrt (pow (- x (sin x)) (/ 3 2)))
9.0ms	(cbrt (pow (- x (sin x)) (/ 3 2)))
12.0ms	(cbrt (pow (- x (sin x)) (/ 3 2)))
8.0ms	(cbrt (pow (- x (sin x)) (/ 3 2)))

series143.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(cbrt (pow (- x (sin x)) (/ 3 2)))
33.0ms	(cbrt (pow (- x (sin x)) (/ 3 2)))
38.0ms	(cbrt (pow (- x (sin x)) (/ 3 2)))
34.0ms	(cbrt (pow (- x (sin x)) (/ 3 2)))

simplify626.0ms

Counts: 80 → 80

prune272.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 28.8b

regimes40.0ms

Accuracy

0% (0.3b remaining)

Error of 31.7b against oracle of 31.3b and baseline of 31.7b

bsearch0.0ms

simplify17.0ms

end0.0ms

sample8.3s

Algorithm

intervals

Results

4.0s	1596×	body	2560	valid
2.5s	2719×	body	1280	valid
1.3s	1905×	body	640	valid
304.0ms	932×	body	320	valid
84.0ms	480×	body	160	valid
37.0ms	368×	body	80	valid