Details

sample37.0ms

Algorithm

intervals

Results

19.0ms

256×

body

valid

simplify3.9s

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	17
1	22	17
2	33	17
3	56	17
4	66	17
5	72	17
6	94	17
7	122	17
8	153	17
9	177	17
10	211	17
11	223	17
12	233	17
13	248	17
14	264	17
15	351	17
16	442	17
17	616	17
18	813	17
19	898	17
20	940	17
21	962	17
22	980	17
23	992	17
done	992	17

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ 2.30753 (* x 0.27061))
0.0b	(- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
0.1b	(* (+ 0.99229 (* x 0.04481)) x)
12.9b	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

rewrite143.0ms

Algorithm

rewrite-expression-head

Rules

21×	`add-sqr-sqrt`
16×	`*-un-lft-identity`
14×	`add-cube-cbrt`
10×	`times-frac`
8×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
6×	`pow1`
4×	`flip3-+` `flip-+`
3×	`associate-r` `associate-l` `associate-/r` `associate-/l`
2×	`associate-*l/` `associate-/r/` `associate-/l/` `difference-of-squares`
1×	`cbrt-undiv` `+-commutative` `sub-neg` `flip3--` `frac-2neg` `diff-log` `div-exp` `pow-prod-down` `prod-exp` `clear-num` `sum-log` `*-commutative` `flip--` `cbrt-unprod` `div-inv` `distribute-lft-out--` `unswap-sqr`

Counts

4 → 77

Calls

4 calls:

6.0ms	(+ 2.30753 (* x 0.27061))
47.0ms	(- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
35.0ms	(* (+ 0.99229 (* x 0.04481)) x)
51.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

series400.0ms

Counts

4 → 12

Calls

4 calls:

50.0ms	(+ 2.30753 (* x 0.27061))
139.0ms	(- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
121.0ms	(* (+ 0.99229 (* x 0.04481)) x)
90.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

simplify3.3s

Counts

89 → 89

Iterations

Useful iterations: 3 (1.6s)

Iter	Nodes	Cost
0	169	1668
1	421	1584
2	1332	1472
3	4156	1468
done	5000	1468

prune257.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize66.0ms

Local error

Found 4 expressions with local error:

7.3b	(/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))
13.3b	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
13.3b	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
13.3b	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

rewrite99.0ms

Algorithm

rewrite-expression-head

Rules

30×	`cbrt-div`
16×	`add-exp-log`
15×	`flip3-+` `flip-+`
9×	`cbrt-prod`
8×	`frac-times` `associate-/r/` `add-cbrt-cube` `associate-/l/`
7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `cbrt-undiv` `associate-r/` `div-exp` `associate-l/` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`pow1/3`
1×	`frac-2neg` `times-frac` `clear-num` `associate-/r` `div-inv` `associate-/l`

Counts

4 → 76

Calls

4 calls:

74.0ms	(/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))
6.0ms	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
6.0ms	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
6.0ms	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

series898.0ms

Counts

4 → 12

Calls

4 calls:

331.0ms	(/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))
191.0ms	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
181.0ms	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
195.0ms	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

simplify1.3s

Counts

88 → 88

Iterations

Useful iterations: done (1.3s)

Iter	Nodes	Cost
0	214	3117
1	600	2961
2	1739	2637
done	5001	2390

prune565.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize73.0ms

Local error

Found 4 expressions with local error:

13.3b	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
13.3b	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
13.3b	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
13.3b	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod`
8×	`add-sqr-sqrt` `add-cube-cbrt` `cbrt-div` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `flip3-+` `pow1/3` `add-cbrt-cube` `flip-+` `add-log-exp`

Counts

4 → 52

Calls

4 calls:

6.0ms	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
7.0ms	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
6.0ms	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
6.0ms	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

series884.0ms

Counts

4 → 12

Calls

4 calls:

220.0ms	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
211.0ms	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
212.0ms	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
240.0ms	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

simplify1.5s

Counts

64 → 64

Iterations

Useful iterations: done (1.5s)

Iter	Nodes	Cost
0	92	1712
1	229	1644
2	650	1552
3	2351	1364
done	5001	1292

prune505.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes41.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	17
1	20	17
done	20	17

end0.0ms

sample968.0ms

Algorithm

intervals

Results

735.0ms

8000×

body

valid