Details

sample17.0ms

Algorithm

intervals

Results

8.0ms

256×

body

valid

simplify9.1s

Counts

1 → 1

Iterations

Useful iterations: 2 (7.0ms)

Iter	Nodes	Cost
0	16	19
1	31	19
2	54	16
3	79	16
4	103	16
5	117	16
6	133	16
7	160	16
8	218	16
9	252	16
10	325	16
11	457	16
12	782	16
13	1336	16
14	1600	16
15	1776	16
16	2341	16
17	3303	16
18	4360	16
done	5000	16

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite113.0ms

Algorithm

rewrite-expression-head

Rules

98×	`add-sqr-sqrt`
91×	`*-un-lft-identity`
90×	`prod-diff`
89×	`add-cube-cbrt`
64×	`times-frac`
48×	`distribute-rgt-in` `distribute-lft-in`
14×	`associate-/r/`
10×	`add-exp-log` `flip3-+` `add-cbrt-cube` `flip-+`
9×	`associate-r`
8×	`pow1`
7×	`div-inv`
6×	`associate-l` `add-log-exp`
4×	`expm1-log1p-u` `associate-*r/` `log1p-expm1-u`
3×	`fma-def` `associate-/r` `associate-/l`
2×	`sub-neg` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `associate-/l/` `difference-of-squares` `unswap-sqr`
1×	`cbrt-undiv` `+-commutative` `flip3--` `frac-2neg` `div-exp` `clear-num` `sum-log` `flip--` `distribute-lft-out--`

Counts

4 → 192

Calls

4 calls:

4.0ms	(+ 2.30753 (* x 0.27061))
83.0ms	(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
7.0ms	(* x (+ 0.99229 (* x 0.04481)))
9.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series252.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(+ 2.30753 (* x 0.27061))
96.0ms	(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
65.0ms	(* x (+ 0.99229 (* x 0.04481)))
56.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

simplify920.0ms

Counts

204 → 204

Iterations

Useful iterations: done (912.0ms)

Iter	Nodes	Cost
0	366	7100
1	755	5859
2	2140	4824
done	5001	4722

prune372.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize15.0ms

Local error

Found 4 expressions with local error:

6.5b	(* (/ 1 (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (fma 0.27061 x 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))))
16.2b	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))
16.2b	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))
16.2b	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

49×	`add-exp-log`
43×	`add-sqr-sqrt`
33×	`times-frac`
25×	`*-un-lft-identity`
22×	`add-cube-cbrt` `associate-r`
21×	`cbrt-prod`
20×	`prod-exp`
18×	`add-cbrt-cube`
15×	`div-exp`
9×	`unswap-sqr`
8×	`cbrt-unprod`
7×	`cbrt-undiv` `associate-l`
6×	`pow1`
4×	`expm1-log1p-u` `rec-exp` `1-exp` `log1p-expm1-u` `add-log-exp`
3×	`pow1/3`
2×	`div-inv`
1×	`frac-times` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative`

Counts

4 → 111

Calls

4 calls:

33.0ms	(* (/ 1 (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (fma 0.27061 x 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))))
0.0ms	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))
0.0ms	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))
1.0ms	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))

series511.0ms

Counts

4 → 12

Calls

4 calls:

67.0ms	(* (/ 1 (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (fma 0.27061 x 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))))
149.0ms	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))
147.0ms	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))
148.0ms	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))

simplify722.0ms

Counts

123 → 123

Iterations

Useful iterations: 2 (237.0ms)

Iter	Nodes	Cost
0	226	4079
1	642	3806
2	2048	2965
done	5001	2965

prune430.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize20.0ms

Local error

Found 4 expressions with local error:

7.6b	(/ (/ (fma 0.27061 x 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))))
16.2b	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))
16.2b	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))
16.2b	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

58×	`times-frac`
33×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
27×	`cbrt-prod`
22×	`associate-/l*`
16×	`add-exp-log`
10×	`add-cbrt-cube`
6×	`cbrt-undiv` `div-exp`
4×	`pow1` `expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`pow1/3` `div-inv`
2×	`prod-exp` `cbrt-unprod`
1×	`frac-2neg` `clear-num` `associate-/r*` `associate-/l/`

Counts

4 → 105

Calls

4 calls:

9.0ms	(/ (/ (fma 0.27061 x 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))))
0.0ms	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))
0.0ms	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))
1.0ms	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))

series520.0ms

Counts

4 → 12

Calls

4 calls:

68.0ms	(/ (/ (fma 0.27061 x 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))))
151.0ms	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))
147.0ms	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))
154.0ms	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))

simplify993.0ms

Counts

117 → 117

Iterations

Useful iterations: done (988.0ms)

Iter	Nodes	Cost
0	214	3741
1	506	3646
2	1456	3010
done	5000	2894

prune461.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize12.0ms

Local error

Found 4 expressions with local error:

0.1b	(fma x (fma 0.04481 x 0.99229) 1.0)
0.1b	(* (- (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) x) (sqrt 0.70711))
0.2b	(* (sqrt 0.70711) (* (- (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) x) (sqrt 0.70711)))
15.8b	(/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))

rewrite84.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-sqr-sqrt`
19×	`*-un-lft-identity`
17×	`add-cube-cbrt`
13×	`add-exp-log` `add-cbrt-cube`
12×	`associate-l`
11×	`pow1`
10×	`times-frac`
7×	`associate-r` `sqrt-prod`
4×	`expm1-log1p-u` `pow-prod-down` `associate-*l/` `prod-exp` `cbrt-unprod` `log1p-expm1-u` `add-log-exp`
3×	`associate-/r` `associate-/l`
2×	`flip3--` `associate-r/` `-commutative` `flip--` `difference-of-squares` `unswap-sqr`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `fma-udef` `div-inv` `distribute-lft-out--`

Counts

4 → 93

Calls

4 calls:

0.0ms	(fma x (fma 0.04481 x 0.99229) 1.0)
38.0ms	(* (- (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) x) (sqrt 0.70711))
41.0ms	(* (sqrt 0.70711) (* (- (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) x) (sqrt 0.70711)))
2.0ms	(/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))

series326.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(fma x (fma 0.04481 x 0.99229) 1.0)
100.0ms	(* (- (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) x) (sqrt 0.70711))
125.0ms	(* (sqrt 0.70711) (* (- (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) x) (sqrt 0.70711)))
67.0ms	(/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))

simplify2.0s

Counts

105 → 105

Iterations

Useful iterations: 3 (1.0s)

Iter	Nodes	Cost
0	185	2221
1	398	2102
2	1138	1807
3	3775	1786
done	5000	1786

prune273.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes57.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	19
1	23	19
done	23	19

end0.0ms

sample366.0ms

Algorithm

intervals

Results

271.0ms

8000×

body

valid