Details

sample40.0ms

Algorithm

intervals

Results

20.0ms

256×

body

valid

simplify7.0s

Counts

1 → 1

Iterations

Useful iterations: 2 (14.0ms)

Iter	Nodes	Cost
0	14	17
1	22	17
2	39	14
3	66	14
4	92	14
5	102	14
6	124	14
7	152	14
8	203	14
9	264	14
10	299	14
11	381	14
12	394	14
13	413	14
14	451	14
15	578	14
16	714	14
17	951	14
18	1233	14
19	1379	14
20	1436	14
21	1466	14
22	1491	14
23	1532	14
24	1542	14
done	1542	14

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 3 expressions with local error:

0.0b	(- x (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))
0.1b	(fma (fma 0.04481 x 0.99229) x 1.0)
12.9b	(/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

51×	`add-sqr-sqrt`
48×	`*-un-lft-identity`
46×	`add-cube-cbrt`
39×	`prod-diff`
37×	`times-frac`
5×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
4×	`div-inv`
3×	`pow1` `expm1-log1p-u` `fma-neg` `associate-/r` `log1p-expm1-u` `associate-/l`
2×	`difference-of-squares`
1×	`cbrt-undiv` `sub-neg` `flip3--` `frac-2neg` `diff-log` `div-exp` `clear-num` `flip--` `fma-udef` `distribute-lft-out--`

Counts

3 → 98

Calls

3 calls:

14.0ms	(- x (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))
0.0ms	(fma (fma 0.04481 x 0.99229) x 1.0)
5.0ms	(/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))

series209.0ms

Counts

3 → 9

Calls

3 calls:

94.0ms	(- x (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))
28.0ms	(fma (fma 0.04481 x 0.99229) x 1.0)
87.0ms	(/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))

simplify4.4s

Counts

107 → 107

Iterations

Useful iterations: 3 (2.0s)

Iter	Nodes	Cost
0	209	4807
1	474	4294
2	1267	3078
3	4939	2411
done	5000	2411

prune297.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize29.0ms

Local error

Found 4 expressions with local error:

0.1b	(fma (fma 0.04481 x 0.99229) x 1.0)
0.1b	(pow (fma (fma 0.04481 x 0.99229) x 1.0) 3)
9.9b	(cbrt (pow (fma (fma 0.04481 x 0.99229) x 1.0) 3))
12.9b	(/ (fma x 0.27061 2.30753) (cbrt (pow (fma (fma 0.04481 x 0.99229) x 1.0) 3)))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

60×	`cbrt-prod`
45×	`times-frac`
42×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
18×	`unpow-prod-down` `cube-prod`
15×	`associate-/r*`
7×	`add-exp-log`
6×	`cube-mult` `unpow3` `add-cbrt-cube` `sqr-pow`
5×	`pow1`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`pow-unpow` `associate-/l*`
1×	`cbrt-undiv` `pow-to-exp` `pow-pow` `frac-2neg` `pow1/3` `div-exp` `pow-exp` `clear-num` `rem-cbrt-cube` `fma-udef` `div-inv` `rem-cube-cbrt`

Counts

4 → 135

Calls

4 calls:

1.0ms	(fma (fma 0.04481 x 0.99229) x 1.0)
3.0ms	(pow (fma (fma 0.04481 x 0.99229) x 1.0) 3)
2.0ms	(cbrt (pow (fma (fma 0.04481 x 0.99229) x 1.0) 3))
10.0ms	(/ (fma x 0.27061 2.30753) (cbrt (pow (fma (fma 0.04481 x 0.99229) x 1.0) 3)))

series263.0ms

Counts

4 → 12

Calls

4 calls:

43.0ms	(fma (fma 0.04481 x 0.99229) x 1.0)
64.0ms	(pow (fma (fma 0.04481 x 0.99229) x 1.0) 3)
51.0ms	(cbrt (pow (fma (fma 0.04481 x 0.99229) x 1.0) 3))
105.0ms	(/ (fma x 0.27061 2.30753) (cbrt (pow (fma (fma 0.04481 x 0.99229) x 1.0) 3)))

simplify1.1s

Counts

147 → 147

Iterations

Useful iterations: done (1.1s)

Iter	Nodes	Cost
0	192	3169
1	337	2631
2	894	2359
done	5000	2356

prune554.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize25.0ms

Local error

Found 4 expressions with local error:

9.9b	(cbrt (pow (* (cbrt (pow (fma x (fma 0.04481 x 0.99229) 1.0) 2)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) 3))
12.9b	(/ (fma x 0.27061 2.30753) (cbrt (pow (* (cbrt (pow (fma x (fma 0.04481 x 0.99229) 1.0) 2)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) 3)))
13.3b	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))
14.0b	(cbrt (pow (fma x (fma 0.04481 x 0.99229) 1.0) 2))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

51×	`cbrt-prod`
33×	`times-frac`
28×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
11×	`associate-/r*`
8×	`unpow-prod-down`
6×	`add-exp-log` `sqr-pow`
5×	`cube-mult` `unpow3` `cube-prod` `add-cbrt-cube`
4×	`pow1` `expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`pow1/3` `associate-/l*`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `rem-cbrt-cube` `div-inv` `unpow2`

Counts

4 → 111

Calls

4 calls:

4.0ms	(cbrt (pow (* (cbrt (pow (fma x (fma 0.04481 x 0.99229) 1.0) 2)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) 3))
18.0ms	(/ (fma x 0.27061 2.30753) (cbrt (pow (* (cbrt (pow (fma x (fma 0.04481 x 0.99229) 1.0) 2)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) 3)))
1.0ms	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))
2.0ms	(cbrt (pow (fma x (fma 0.04481 x 0.99229) 1.0) 2))

series586.0ms

Counts

4 → 12

Calls

4 calls:

46.0ms	(cbrt (pow (* (cbrt (pow (fma x (fma 0.04481 x 0.99229) 1.0) 2)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) 3))
99.0ms	(/ (fma x 0.27061 2.30753) (cbrt (pow (* (cbrt (pow (fma x (fma 0.04481 x 0.99229) 1.0) 2)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) 3)))
202.0ms	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))
239.0ms	(cbrt (pow (fma x (fma 0.04481 x 0.99229) 1.0) 2))

simplify1.2s

Counts

123 → 123

Iterations

Useful iterations: done (1.2s)

Iter	Nodes	Cost
0	272	4299
1	557	3644
2	1532	2727
done	5001	2199

prune637.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize45.0ms

Local error

Found 4 expressions with local error:

0.7b	(* (cbrt (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (cbrt (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))))
12.9b	(/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))
12.9b	(/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))
12.9b	(/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))

rewrite69.0ms

Algorithm

rewrite-expression-head

Rules

84×	`add-sqr-sqrt`
69×	`times-frac`
64×	`cbrt-prod`
60×	`add-cube-cbrt` `*-un-lft-identity`
16×	`swap-sqr` `associate-r` `associate-l`
12×	`add-exp-log`
11×	`pow1`
10×	`add-cbrt-cube`
9×	`associate-/r` `associate-/l` `unswap-sqr`
7×	`div-inv`
6×	`pow1/3`
4×	`expm1-log1p-u` `cbrt-div` `log1p-expm1-u` `add-log-exp`
3×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `frac-times` `pow-plus` `associate-r/` `associate-l/` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 167

Calls

4 calls:

31.0ms	(* (cbrt (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (cbrt (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))))
10.0ms	(/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))
10.0ms	(/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))
10.0ms	(/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))

series632.0ms

Counts

4 → 12

Calls

4 calls:

314.0ms	(* (cbrt (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (cbrt (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))))
101.0ms	(/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))
113.0ms	(/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))
103.0ms	(/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))

simplify2.3s

Counts

179 → 179

Iterations

Useful iterations: done (2.2s)

Iter	Nodes	Cost
0	229	4993
1	444	4778
2	1221	4492
3	3251	4154
done	5001	4121

prune970.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes28.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	17
done	14	17

end0.0ms

sample1.4s

Algorithm

intervals

Results

1.1s

8000×

body

valid