Details

sample34.0ms

Algorithm

intervals

Results

15.0ms

256×

body

valid

simplify812.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	29	37
1	55	37
2	138	37
3	448	37
4	1537	37
done	5000	37

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 27.0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x)
0.0b	(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
0.1b	(* (+ (* x 4.16438922228) 78.6994924154) x)
26.2b	(/ (* (- 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))

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

83.0ms	(* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x)
40.0ms	(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
26.0ms	(* (+ (* x 4.16438922228) 78.6994924154) x)
139.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))

series426.0ms

Counts

4 → 12

Calls

4 calls:

69.0ms	(* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x)
38.0ms	(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
68.0ms	(* (+ (* x 4.16438922228) 78.6994924154) x)
251.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))

simplify1.3s

Counts

103 → 103

Iterations

Useful iterations: 2 (431.0ms)

Iter	Nodes	Cost
0	228	2606
1	670	2570
2	2900	2212
done	5002	2212

prune455.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (+ (* (+ x 43.3400022514) x) 263.505074721) 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)))
24.2b	(/ (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z))

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

41.0ms	(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
25.0ms	(* (+ (* x 4.16438922228) 78.6994924154) x)
117.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)))
119.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))

series495.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
69.0ms	(* (+ (* x 4.16438922228) 78.6994924154) x)
247.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)))
144.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))

simplify1.6s

Counts

196 → 196

Iterations

Useful iterations: done (1.5s)

Iter	Nodes	Cost
0	346	9817
1	959	9681
2	3501	9229
done	5000	9219

prune812.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 4 expressions with local error:

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

rewrite270.0ms

Algorithm

rewrite-expression-head

Rules

51×	`add-sqr-sqrt`
42×	`*-un-lft-identity`
31×	`times-frac`
28×	`add-cube-cbrt`
27×	`associate-r`
15×	`add-exp-log` `add-cbrt-cube`
10×	`pow1`
9×	`associate-l`
7×	`distribute-lft-out--` `difference-of-squares`
6×	`flip3-+` `associate-*l/` `flip-+`
5×	`associate-/l*`
4×	`prod-exp` `associate-/r/` `cbrt-unprod` `add-log-exp` `unswap-sqr`
3×	`pow-prod-down` `associate-/r` `-commutative`
2×	`cbrt-undiv` `frac-times` `div-exp` `div-inv` `associate-/l/`
1×	`flip3--` `frac-2neg` `div-sub` `associate-*r/` `clear-num` `flip--`

Counts

4 → 124

Calls

4 calls:

40.0ms	(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
25.0ms	(* (+ (* x 4.16438922228) 78.6994924154) x)
55.0ms	(/ (- x 2.0) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
145.0ms	(* (+ z (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x)) (/ (- x 2.0) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))

series681.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
70.0ms	(* (+ (* x 4.16438922228) 78.6994924154) x)
73.0ms	(/ (- x 2.0) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
501.0ms	(* (+ z (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x)) (/ (- x 2.0) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))

simplify1.5s

Counts

136 → 136

Iterations

Useful iterations: 2 (658.0ms)

Iter	Nodes	Cost
0	263	3997
1	712	3929
2	2760	3545
done	5001	3545

prune534.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

localize45.0ms

Local error

Found 4 expressions with local error:

14.2b	(cbrt (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z))
14.5b	(cbrt (+ 47.066876606 (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x)))
14.5b	(cbrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
14.5b	(cbrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))

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

35.0ms	(cbrt (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z))
3.0ms	(cbrt (+ 47.066876606 (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x)))
30.0ms	(cbrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
27.0ms	(cbrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))

series568.0ms

Counts

4 → 12

Calls

4 calls:

186.0ms	(cbrt (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z))
132.0ms	(cbrt (+ 47.066876606 (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x)))
124.0ms	(cbrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
126.0ms	(cbrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))

simplify1.3s

Counts

64 → 64

Iterations

Useful iterations: done (1.3s)

Iter	Nodes	Cost
0	175	1960
1	392	1906
2	991	1743
3	3278	1665
done	5000	1647

prune490.0ms

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 0.0b

regimes311.0ms

Accuracy

96.6% (0.8b remaining)

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

bsearch278.0ms

Steps

Iters	Range		Point
8	1.0087090481069135e+28	4.775882038212059e+32	9.800766831867254e+31
10	-5.186492909062145e+67	-2.4158391227535656e+51	-3.240573328946715e+52

simplify6.0ms

Iterations

Useful iterations: 1 (4.0ms)

Iter	Nodes	Cost
0	48	87
1	69	73
done	69	73

end0.0ms

sample712.0ms

Algorithm

intervals

Results

473.0ms

8008×

body

valid