Details

sample16.0ms

Algorithm

intervals

Results

8.0ms

256×

body

valid

simplify2.1s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	17
1	22	17
2	33	17
3	48	17
4	56	17
5	62	17
6	84	17
7	112	17
8	140	17
9	163	17
10	205	17
11	251	17
12	261	17
13	278	17
14	314	17
15	404	17
16	638	17
17	849	17
18	988	17
19	1092	17
20	1162	17
21	1237	17
22	1253	17
23	1258	17
done	1258	17

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt`
14×	`add-cube-cbrt` `*-un-lft-identity`
9×	`times-frac`
8×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
6×	`pow1`
5×	`flip3-+` `flip-+`
3×	`associate-r` `associate-l` `associate-/r` `associate-/l`
2×	`+-commutative` `associate-*l/` `sum-log` `associate-/r/` `associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `cbrt-unprod` `div-inv` `unswap-sqr`

Counts

4 → 73

Calls

4 calls:

2.0ms	(+ 0.99229 (* x 0.04481))
2.0ms	(+ 2.30753 (* x 0.27061))
8.0ms	(* (+ 0.99229 (* x 0.04481)) x)
9.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

series197.0ms

Counts

4 → 12

Calls

4 calls:

32.0ms	(+ 0.99229 (* x 0.04481))
32.0ms	(+ 2.30753 (* x 0.27061))
68.0ms	(* (+ 0.99229 (* x 0.04481)) x)
64.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

simplify2.6s

Counts

85 → 85

Iterations

Useful iterations: 3 (1.6s)

Iter	Nodes	Cost
0	153	1299
1	375	1257
2	1176	1147
3	4267	1145
done	5000	1145

prune200.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
0.2b	(/ (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
15.7b	(sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
15.7b	(sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

288×	`times-frac`
164×	`add-sqr-sqrt`
162×	`add-cube-cbrt` `*-un-lft-identity`
156×	`sqrt-prod`
27×	`associate-/l*`
22×	`sqrt-div`
18×	`associate-/r/`
12×	`flip3-+` `associate-/r*` `flip-+`
11×	`add-exp-log` `add-cbrt-cube`
9×	`div-inv`
6×	`pow1`
4×	`cbrt-undiv` `div-exp` `add-log-exp`
3×	`associate-/l/`
2×	`rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `clear-num`

Counts

4 → 264

Calls

4 calls:

12.0ms	(/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
21.0ms	(/ (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
3.0ms	(sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
3.0ms	(sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

series379.0ms

Counts

4 → 12

Calls

4 calls:

161.0ms	(/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
57.0ms	(/ (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
79.0ms	(sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
81.0ms	(sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

simplify1.0s

Counts

276 → 276

Iterations

Useful iterations: done (999.0ms)

Iter	Nodes	Cost
0	384	12269
1	925	10977
2	2334	10279
done	5001	10277

prune586.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize15.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))
1.4b	(/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))))
21.2b	(* (/ (+ 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)))

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

8.0ms	(* (+ 0.99229 (* x 0.04481)) x)
21.0ms	(* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))
11.0ms	(/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))))
27.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)))

series303.0ms

Counts

4 → 12

Calls

4 calls:

65.0ms	(* (+ 0.99229 (* x 0.04481)) x)
40.0ms	(* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))
75.0ms	(/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))))
123.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)))

simplify1.1s

Counts

154 → 154

Iterations

Useful iterations: 2 (400.0ms)

Iter	Nodes	Cost
0	265	4598
1	725	4333
2	2980	3857
done	5001	3857

prune347.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt x)
0.6b	(cbrt x)
1.4b	(/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))))
21.2b	(* (/ (+ 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)) (* (cbrt x) (cbrt x))) (cbrt x))))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 102

Calls

4 calls:

0.0ms	(cbrt x)
0.0ms	(cbrt x)
11.0ms	(/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))))
25.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)) (* (cbrt x) (cbrt x))) (cbrt x))))

series584.0ms

Counts

4 → 12

Calls

4 calls:

184.0ms	(cbrt x)
180.0ms	(cbrt x)
75.0ms	(/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))))
144.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)) (* (cbrt x) (cbrt x))) (cbrt x))))

simplify932.0ms

Counts

114 → 114

Iterations

Useful iterations: 2 (363.0ms)

Iter	Nodes	Cost
0	214	4035
1	564	3974
2	2306	3180
done	5001	3180

prune362.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes13.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	29
1	22	29
done	22	29

end0.0ms

sample335.0ms

Algorithm

intervals

Results

245.0ms

8000×

body

valid