Details

sample48.0ms

Algorithm

intervals

Results

28.0ms

256×

body

valid

simplify3.7s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.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

localize27.0ms

Local error

Found 4 expressions with local error:

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

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

26.0ms	(- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
14.0ms	(+ 0.99229 (* x 0.04481))
18.0ms	(* (+ 0.99229 (* x 0.04481)) x)
47.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

series356.0ms

Counts

4 → 12

Calls

4 calls:

148.0ms	(- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
44.0ms	(+ 0.99229 (* x 0.04481))
76.0ms	(* (+ 0.99229 (* x 0.04481)) x)
87.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

simplify3.2s

Counts

89 → 89

Iterations

Useful iterations: 3 (1.5s)

Iter	Nodes	Cost
0	170	1668
1	417	1584
2	1303	1472
3	3999	1468
done	5000	1468

prune380.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ 0.99229 (* x 0.04481)) x)
0.2b	(* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))
3.4b	(/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))))
19.1b	(* (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)))) (- 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

rewrite232.0ms

Algorithm

rewrite-expression-head

Rules

47×	`pow1`
31×	`add-sqr-sqrt`
25×	`add-exp-log` `times-frac` `add-cbrt-cube`
24×	`add-cube-cbrt` `*-un-lft-identity`
22×	`associate-l`
19×	`pow-prod-down`
17×	`associate-*l/`
11×	`prod-exp` `cbrt-unprod`
8×	`flip3-+` `flip-+`
7×	`associate-r` `difference-of-squares`
6×	`frac-times`
4×	`flip3--` `associate-r/` `associate-/r` `associate-/r/` `pow-sqr` `pow-prod-up` `flip--` `add-log-exp`
3×	`-commutative` `associate-/l` `unswap-sqr`
2×	`cbrt-undiv` `distribute-rgt-in` `sub-neg` `distribute-lft-in` `pow-plus` `div-exp` `div-inv` `associate-/l/`
1×	`pow2` `frac-2neg` `swap-sqr` `clear-num`

Counts

4 → 142

Calls

4 calls:

19.0ms	(* (+ 0.99229 (* x 0.04481)) x)
51.0ms	(* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))
47.0ms	(/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))))
109.0ms	(* (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)))) (- 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

series505.0ms

Counts

4 → 12

Calls

4 calls:

119.0ms	(* (+ 0.99229 (* x 0.04481)) x)
63.0ms	(* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))
114.0ms	(/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))))
208.0ms	(* (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)))) (- 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

simplify2.4s

Counts

154 → 154

Iterations

Useful iterations: done (2.3s)

Iter	Nodes	Cost
0	265	4598
1	723	4333
2	2930	3857
done	5000	3405

prune634.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize49.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))
3.4b	(/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))))
3.4b	(/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))))
19.3b	(* (- (* (+ 0.99229 (* x 0.04481)) x)) (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)))))

rewrite241.0ms

Algorithm

rewrite-expression-head

Rules

45×	`pow1`
37×	`times-frac`
36×	`add-sqr-sqrt`
31×	`add-cube-cbrt` `*-un-lft-identity`
25×	`add-exp-log` `add-cbrt-cube`
20×	`associate-*l/`
19×	`associate-r`
18×	`pow-prod-down`
11×	`difference-of-squares`
10×	`flip3-+` `prod-exp` `cbrt-unprod` `flip-+`
8×	`associate-/r*`
7×	`associate-l`
6×	`frac-times` `associate-/r/` `associate-/l*`
4×	`pow-sqr` `pow-prod-up` `associate-/l/` `distribute-neg-frac` `add-log-exp`
3×	`cbrt-undiv` `flip3--` `associate-*r/` `div-exp` `flip--` `div-inv`
2×	`frac-2neg` `pow-plus` `clear-num` `*-commutative` `unswap-sqr`
1×	`distribute-lft-neg-out` `pow2` `distribute-lft-neg-in` `neg-mul-1` `distribute-rgt-neg-in` `swap-sqr`

Counts

4 → 157

Calls

4 calls:

76.0ms	(* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))
35.0ms	(/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))))
44.0ms	(/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))))
74.0ms	(* (- (* (+ 0.99229 (* x 0.04481)) x)) (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)))))

series514.0ms

Counts

4 → 12

Calls

4 calls:

68.0ms	(* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))
103.0ms	(/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))))
135.0ms	(/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))))
208.0ms	(* (- (* (+ 0.99229 (* x 0.04481)) x)) (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)))))

simplify2.7s

Counts

169 → 169

Iterations

Useful iterations: done (2.7s)

Iter	Nodes	Cost
0	241	5561
1	721	5348
2	3271	4714
done	5000	4696

prune852.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

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

sample792.0ms

Algorithm

intervals

Results

599.0ms

8000×

body

valid