Details

sample70.0ms

Algorithm

intervals

Results

32.0ms	374×	body	80	valid
9.0ms	128×	body	80	nan

simplify2.9s

Counts

1 → 1

Iterations

Iter	Nodes
done	5003
6	2078
5	627
4	203
3	85
2	45
1	24
0	12

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 2.1b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ 1.0 (* 10.0 k))
0.0b	(+ (+ 1.0 (* 10.0 k)) (* k k))
0.0b	(* a (pow k m))
2.1b	(/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

rewrite84.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 74

Calls

4 calls:

4.0ms	(+ 1.0 (* 10.0 k))
28.0ms	(+ (+ 1.0 (* 10.0 k)) (* k k))
17.0ms	(* a (pow k m))
33.0ms	(/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

series353.0ms

Counts

4 → 12

Calls

4 calls:

62.0ms	(+ 1.0 (* 10.0 k))
22.0ms	(+ (+ 1.0 (* 10.0 k)) (* k k))
66.0ms	(* a (pow k m))
203.0ms	(/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

simplify1.5s

Counts

86 → 86

Iterations

Iter	Nodes
done	5000
2	1577
1	462
0	169

prune528.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 2.0b

localize58.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt k)
0.5b	(cbrt k)
0.5b	(cbrt k)
2.1b	(/ (* (* a (pow (* (cbrt k) (cbrt k)) m)) (pow (cbrt k) m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

rewrite62.0ms

Algorithm

rewrite-expression-head

Rules

58×	`add-exp-log`
30×	`prod-exp`
16×	`div-exp`
13×	`add-cbrt-cube`
11×	`pow-exp`
9×	`cbrt-prod` `add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
8×	`pow-to-exp`
4×	`pow1` `add-log-exp`
3×	`cbrt-undiv` `associate-/r*` `times-frac` `pow1/3` `cbrt-unprod`
2×	`associate-/r/`
1×	`clear-num` `frac-2neg` `flip3-+` `flip-+` `div-inv` `associate-/l*`

Counts

4 → 71

Calls

4 calls:

1.0ms	(cbrt k)
1.0ms	(cbrt k)
1.0ms	(cbrt k)
57.0ms	(/ (* (* a (pow (* (cbrt k) (cbrt k)) m)) (pow (cbrt k) m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

series1.4s

Counts

4 → 12

Calls

4 calls:

285.0ms	(cbrt k)
295.0ms	(cbrt k)
287.0ms	(cbrt k)
537.0ms	(/ (* (* a (pow (* (cbrt k) (cbrt k)) m)) (pow (cbrt k) m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

simplify2.2s

Counts

83 → 83

Iterations

Iter	Nodes
done	5000
2	1958
1	498
0	172

prune656.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize87.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt k)
0.5b	(cbrt k)
0.5b	(cbrt k)
2.1b	(/ (* a (pow (* (cbrt k) (cbrt k)) m)) (/ (+ (+ 1.0 (* 10.0 k)) (* k k)) (pow (cbrt k) m)))

rewrite60.0ms

Algorithm

rewrite-expression-head

Rules

94×	`times-frac`
70×	`add-exp-log`
47×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
36×	`unpow-prod-down`
35×	`div-exp`
34×	`associate-/r*`
27×	`cbrt-prod`
20×	`prod-exp`
16×	`add-cbrt-cube`
13×	`pow-exp`
9×	`pow-to-exp`
6×	`cbrt-undiv` `sqr-pow`
4×	`pow1` `add-log-exp`
3×	`pow1/3` `div-inv`
2×	`cbrt-unprod`
1×	`clear-num` `frac-2neg` `associate-/r/` `associate-/l*`

Counts

4 → 137

Calls

4 calls:

1.0ms	(cbrt k)
1.0ms	(cbrt k)
1.0ms	(cbrt k)
52.0ms	(/ (* a (pow (* (cbrt k) (cbrt k)) m)) (/ (+ (+ 1.0 (* 10.0 k)) (* k k)) (pow (cbrt k) m)))

series1.5s

Counts

4 → 12

Calls

4 calls:

320.0ms	(cbrt k)
286.0ms	(cbrt k)
329.0ms	(cbrt k)
583.0ms	(/ (* a (pow (* (cbrt k) (cbrt k)) m)) (/ (+ (+ 1.0 (* 10.0 k)) (* k k)) (pow (cbrt k) m)))

simplify3.1s

Counts

149 → 149

Iterations

Iter	Nodes
done	5158
2	3005
1	855
0	306

prune1.1s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize72.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt k)
0.5b	(cbrt k)
0.5b	(cbrt k)
1.8b	(* (* (pow (* (cbrt k) (cbrt k)) m) a) (/ (pow (cbrt k) m) (+ (+ 1.0 (* 10.0 k)) (* k k))))

rewrite102.0ms

Algorithm

rewrite-expression-head

Rules

70×	`add-exp-log`
40×	`prod-exp`
36×	`associate-r`
30×	`times-frac`
27×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
18×	`cbrt-prod` `unpow-prod-down`
16×	`add-cbrt-cube`
15×	`div-exp`
13×	`pow-exp`
9×	`pow-to-exp`
6×	`pow1` `cbrt-unprod`
4×	`add-log-exp`
3×	`pow1/3` `sqr-pow`
2×	`cbrt-undiv` `associate-/r/`
1×	`flip3-+` `associate-l` `pow-prod-down` `associate-r/` `-commutative` `flip-+` `div-inv`

Counts

4 → 104

Calls

4 calls:

1.0ms	(cbrt k)
1.0ms	(cbrt k)
1.0ms	(cbrt k)
89.0ms	(* (* (pow (* (cbrt k) (cbrt k)) m) a) (/ (pow (cbrt k) m) (+ (+ 1.0 (* 10.0 k)) (* k k))))

series1.4s

Counts

4 → 12

Calls

4 calls:

264.0ms	(cbrt k)
327.0ms	(cbrt k)
241.0ms	(cbrt k)
528.0ms	(* (* (pow (* (cbrt k) (cbrt k)) m) a) (/ (pow (cbrt k) m) (+ (+ 1.0 (* 10.0 k)) (* k k))))

simplify3.2s

Counts

116 → 116

Iterations

Iter	Nodes
done	5004
2	2869
1	735
0	236

prune834.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

regimes248.0ms

Accuracy

97.7% (0.0b remaining)

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

bsearch79.0ms

Steps

Iters	Range		Point
5	1.0232594418313883e+154	2.1738833249169534e+154	1.2182474807550087e+154

simplify16.0ms

Iterations

Iter	Nodes
done	56
1	56
0	41

end0.0ms

sample2.2s

Algorithm

intervals

Results

1.2s	11865×	body	80	valid
332.0ms	4149×	body	80	nan