Details

sample26.0ms

Algorithm

intervals

Results

11.0ms

256×

body

valid

simplify3.8s

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

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

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

12.0ms	(+ 0.99229 (* x 0.04481))
12.0ms	(+ 2.30753 (* x 0.27061))
35.0ms	(* (+ 0.99229 (* x 0.04481)) x)
36.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

series302.0ms

Counts

4 → 12

Calls

4 calls:

49.0ms	(+ 0.99229 (* x 0.04481))
60.0ms	(+ 2.30753 (* x 0.27061))
106.0ms	(* (+ 0.99229 (* x 0.04481)) x)
87.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

simplify3.3s

Counts

85 → 85

Iterations

Useful iterations: 3 (1.6s)

Iter	Nodes	Cost
0	153	1299
1	379	1257
2	1230	1147
3	3804	1145
done	5001	1145

prune327.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ 2.30753 (* x 0.27061))
0.1b	(* (+ 0.99229 (* x 0.04481)) x)
0.2b	(/ 1 (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ 2.30753 (* x 0.27061))))
13.2b	(/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ 2.30753 (* x 0.27061)))

rewrite135.0ms

Algorithm

rewrite-expression-head

Rules

90×	`times-frac`
60×	`add-sqr-sqrt`
58×	`add-cube-cbrt` `*-un-lft-identity`
19×	`add-exp-log`
18×	`associate-/r*`
13×	`add-cbrt-cube`
11×	`associate-/r/`
8×	`flip3-+` `div-exp` `flip-+`
7×	`pow1`
6×	`div-inv` `associate-/l*` `add-log-exp`
4×	`cbrt-undiv`
3×	`associate-r` `associate-l`
2×	`rec-exp` `frac-2neg` `1-exp` `associate-*l/` `clear-num` `associate-/l/`
1×	`+-commutative` `pow-flip` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `inv-pow` `unswap-sqr`

Counts

4 → 146

Calls

4 calls:

11.0ms	(+ 2.30753 (* x 0.27061))
28.0ms	(* (+ 0.99229 (* x 0.04481)) x)
20.0ms	(/ 1 (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ 2.30753 (* x 0.27061))))
64.0ms	(/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ 2.30753 (* x 0.27061)))

series327.0ms

Counts

4 → 12

Calls

4 calls:

39.0ms	(+ 2.30753 (* x 0.27061))
103.0ms	(* (+ 0.99229 (* x 0.04481)) x)
87.0ms	(/ 1 (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ 2.30753 (* x 0.27061))))
97.0ms	(/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ 2.30753 (* x 0.27061)))

simplify1.4s

Counts

158 → 158

Iterations

Useful iterations: done (1.4s)

Iter	Nodes	Cost
0	265	3763
1	618	3505
2	1741	3184
done	5000	3154

prune372.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize36.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ 1 (- 2.30753 (* x 0.27061)))
0.2b	(* (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (- 2.30753 (* x 0.27061))) (/ 1 (- 2.30753 (* x 0.27061))))
0.2b	(* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (- 2.30753 (* x 0.27061)))
13.2b	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

rewrite204.0ms

Algorithm

rewrite-expression-head

Rules

54×	`add-exp-log`
40×	`add-sqr-sqrt`
37×	`times-frac`
35×	`add-cube-cbrt` `*-un-lft-identity`
34×	`add-cbrt-cube`
22×	`prod-exp`
18×	`associate-r`
16×	`associate-l`
14×	`div-exp`
12×	`pow1` `cbrt-unprod`
11×	`frac-times`
8×	`cbrt-undiv` `flip3--` `associate-*l/` `associate-/r/` `flip--`
7×	`associate-*r/`
6×	`associate-/r` `associate-/l`
4×	`rec-exp` `1-exp` `pow-prod-down` `div-inv` `add-log-exp`
3×	`flip3-+` `flip-+`
2×	`distribute-rgt-in` `sub-neg` `frac-2neg` `distribute-lft-in` `clear-num` `*-commutative` `associate-/l/` `unswap-sqr`
1×	`pow-flip` `un-div-inv` `inv-pow`

Counts

4 → 162

Calls

4 calls:

20.0ms	(/ 1 (- 2.30753 (* x 0.27061)))
96.0ms	(* (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (- 2.30753 (* x 0.27061))) (/ 1 (- 2.30753 (* x 0.27061))))
51.0ms	(* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (- 2.30753 (* x 0.27061)))
25.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

series410.0ms

Counts

4 → 12

Calls

4 calls:

52.0ms	(/ 1 (- 2.30753 (* x 0.27061)))
110.0ms	(* (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (- 2.30753 (* x 0.27061))) (/ 1 (- 2.30753 (* x 0.27061))))
157.0ms	(* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (- 2.30753 (* x 0.27061)))
91.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

simplify3.1s

Counts

174 → 174

Iterations

Useful iterations: done (3.1s)

Iter	Nodes	Cost
0	278	4682
1	752	4112
2	2845	3388
done	5000	3378

prune737.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize54.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (* 0.27061 x) (- (* 0.27061 x) 2.30753))
0.3b	(/ 1 (+ (* (* 0.27061 x) (- (* 0.27061 x) 2.30753)) (* 2.30753 2.30753)))
12.9b	(* (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ 1 (+ (* (* 0.27061 x) (- (* 0.27061 x) 2.30753)) (* 2.30753 2.30753))))
17.7b	(/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

rewrite429.0ms

Algorithm

rewrite-expression-head

Rules

56×	`add-sqr-sqrt`
55×	`*-un-lft-identity` `times-frac`
39×	`add-cube-cbrt`
37×	`add-exp-log`
25×	`add-cbrt-cube`
22×	`associate-l`
18×	`associate-r`
12×	`pow1`
11×	`div-exp` `prod-exp`
8×	`associate-/r/` `associate-/l*`
7×	`sum-cubes` `cbrt-unprod` `distribute-lft-out`
6×	`cbrt-undiv` `associate-/r*` `unswap-sqr`
5×	`flip3-+` `flip-+`
4×	`pow-prod-down` `div-inv` `add-log-exp`
3×	`rec-exp` `1-exp` `associate-*r/`
2×	`distribute-rgt-in` `sub-neg` `frac-2neg` `distribute-lft-in` `clear-num` `*-commutative` `associate-/l/`
1×	`frac-times` `flip3--` `pow-flip` `associate-*l/` `un-div-inv` `flip--` `inv-pow`

Counts

4 → 163

Calls

4 calls:

50.0ms	(* (* 0.27061 x) (- (* 0.27061 x) 2.30753))
62.0ms	(/ 1 (+ (* (* 0.27061 x) (- (* 0.27061 x) 2.30753)) (* 2.30753 2.30753)))
232.0ms	(* (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ 1 (+ (* (* 0.27061 x) (- (* 0.27061 x) 2.30753)) (* 2.30753 2.30753))))
79.0ms	(/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

series373.0ms

Counts

4 → 12

Calls

4 calls:

109.0ms	(* (* 0.27061 x) (- (* 0.27061 x) 2.30753))
56.0ms	(/ 1 (+ (* (* 0.27061 x) (- (* 0.27061 x) 2.30753)) (* 2.30753 2.30753)))
122.0ms	(* (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ 1 (+ (* (* 0.27061 x) (- (* 0.27061 x) 2.30753)) (* 2.30753 2.30753))))
86.0ms	(/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

simplify2.1s

Counts

175 → 175

Iterations

Useful iterations: 2 (793.0ms)

Iter	Nodes	Cost
0	306	5411
1	838	5151
2	2930	4568
done	5002	4568

prune765.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes34.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	19	31
1	29	31
done	29	31

end0.0ms

sample873.0ms

Algorithm

intervals

Results

667.0ms

8000×

body

valid