Details

sample85.0ms

Algorithm

intervals

Results

41.0ms

256×

body

valid

simplify1.8s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	29	37
1	55	37
2	138	37
3	460	37
4	1924	37
done	5001	37

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.9b

localize97.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
0.1b	(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
0.1b	(* (+ (* x 4.16438922228) 78.6994924154) x)
29.0b	(/ (* (- x 2.0) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))

rewrite546.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 91

Calls

4 calls:

82.0ms	(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
97.0ms	(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
60.0ms	(* (+ (* x 4.16438922228) 78.6994924154) x)
301.0ms	(/ (* (- x 2.0) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))

series685.0ms

Counts

4 → 12

Calls

4 calls:

59.0ms	(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
69.0ms	(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
124.0ms	(* (+ (* x 4.16438922228) 78.6994924154) x)
432.0ms	(/ (* (- x 2.0) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))

simplify3.2s

Counts

103 → 103

Iterations

Useful iterations: 2 (899.0ms)

Iter	Nodes	Cost
0	226	2502
1	684	2452
2	4180	2140
done	5001	2140

prune1.2s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize79.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
0.1b	(* (+ (* x 4.16438922228) 78.6994924154) x)
0.3b	(/ (- x 2.0) (/ (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)))
27.3b	(/ (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z))

rewrite581.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 184

Calls

4 calls:

93.0ms	(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
46.0ms	(* (+ (* x 4.16438922228) 78.6994924154) x)
208.0ms	(/ (- x 2.0) (/ (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)))
219.0ms	(/ (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z))

series854.0ms

Counts

4 → 12

Calls

4 calls:

82.0ms	(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
133.0ms	(* (+ (* x 4.16438922228) 78.6994924154) x)
405.0ms	(/ (- x 2.0) (/ (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)))
233.0ms	(/ (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z))

simplify858.0ms

Counts

196 → 196

Iterations

Useful iterations: done (836.0ms)

Iter	Nodes	Cost
0	346	9875
1	1056	9747
done	5000	9307

prune2.0s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize108.0ms

Local error

Found 4 expressions with local error:

9.1b	(sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
9.1b	(sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
17.5b	(/ (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)) (/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))))
23.5b	(/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))

rewrite701.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 264

Calls

4 calls:

74.0ms	(sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
77.0ms	(sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
293.0ms	(/ (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)) (/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))))
229.0ms	(/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))

series1.1s

Counts

4 → 12

Calls

4 calls:

130.0ms	(sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
122.0ms	(sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
240.0ms	(/ (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)) (/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))))
588.0ms	(/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))

simplify890.0ms

Counts

276 → 276

Iterations

Useful iterations: done (850.0ms)

Iter	Nodes	Cost
0	360	21636
1	925	20418
done	5000	19863

prune2.5s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize76.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
0.1b	(* (+ (* x 4.16438922228) 78.6994924154) x)
0.2b	(/ 1 (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
29.2b	(* (/ 1 (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)) (* (- x 2.0) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)))

rewrite1.2s

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 132

Calls

4 calls:

108.0ms	(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
60.0ms	(* (+ (* x 4.16438922228) 78.6994924154) x)
124.0ms	(/ 1 (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
862.0ms	(* (/ 1 (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)) (* (- x 2.0) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)))

series737.0ms

Counts

4 → 12

Calls

4 calls:

67.0ms	(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
120.0ms	(* (+ (* x 4.16438922228) 78.6994924154) x)
87.0ms	(/ 1 (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
464.0ms	(* (/ 1 (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)) (* (- x 2.0) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)))

simplify746.0ms

Counts

144 → 144

Iterations

Useful iterations: done (736.0ms)

Iter	Nodes	Cost
0	307	4796
1	961	4663
done	5001	4069

prune1.4s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

regimes579.0ms

Accuracy

96.2% (1.0b remaining)

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

bsearch528.0ms

Steps

Iters	Range		Point
9	4.387960874763261e+27	8.737516579942584e+35	7.128673475588065e+35
7	-1.5312203001569835e+19	-1.3073170848719158e+17	-1.5065553983705803e+19

simplify22.0ms

Iterations

Useful iterations: 1 (7.0ms)

Iter	Nodes	Cost
0	42	67
1	60	57
2	62	57
3	64	57
done	64	57

end0.0ms

sample2.8s

Algorithm

intervals

Results

2.4s

8013×

body

valid