Details

sample20.0ms

Algorithm

intervals

Results

11.0ms

256×

body

valid

simplify3.9s

Counts

1 → 1

Iterations

Useful iterations: 2 (5.0ms)

Iter	Nodes	Cost
0	14	17
1	22	17
2	39	14
3	58	14
4	80	14
5	90	14
6	112	14
7	140	14
8	188	14
9	236	14
10	279	14
11	339	14
12	352	14
13	373	14
14	412	14
15	510	14
16	764	14
17	1002	14
18	1170	14
19	1310	14
20	1395	14
21	1474	14
22	1497	14
23	1519	14
24	1529	14
done	1529	14

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize10.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)
15.6b	(/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))

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

8.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)
6.0ms	(/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))

series147.0ms

Counts

3 → 9

Calls

3 calls:

56.0ms	(- x (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))
31.0ms	(fma (fma 0.04481 x 0.99229) x 1.0)
60.0ms	(/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))

simplify895.0ms

Counts

107 → 107

Iterations

Useful iterations: done (885.0ms)

Iter	Nodes	Cost
0	209	4807
1	474	4294
2	1342	3078
done	5001	3062

prune259.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize14.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 x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) 3)
15.6b	(/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))
22.9b	(cbrt (pow (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) 3))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 131

Calls

4 calls:

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

series242.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(fma (fma 0.04481 x 0.99229) x 1.0)
89.0ms	(pow (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) 3)
65.0ms	(/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))
63.0ms	(cbrt (pow (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) 3))

simplify708.0ms

Counts

143 → 143

Iterations

Useful iterations: done (703.0ms)

Iter	Nodes	Cost
0	188	3328
1	444	2920
2	1388	2611
done	5000	2610

prune378.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.1b	(pow (* (fma x 0.27061 2.30753) (/ 1 (fma x (fma 0.04481 x 0.99229) 1.0))) 3)
0.2b	(/ 1 (fma x (fma 0.04481 x 0.99229) 1.0))
15.3b	(* (fma x 0.27061 2.30753) (/ 1 (fma x (fma 0.04481 x 0.99229) 1.0)))
22.9b	(cbrt (pow (* (fma x 0.27061 2.30753) (/ 1 (fma x (fma 0.04481 x 0.99229) 1.0))) 3))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

29×	`add-sqr-sqrt`
27×	`add-exp-log`
23×	`*-un-lft-identity`
22×	`add-cube-cbrt`
20×	`times-frac`
17×	`add-cbrt-cube`
13×	`associate-r`
10×	`pow1`
8×	`cbrt-prod` `prod-exp`
6×	`div-exp`
5×	`pow-exp`
4×	`cube-div` `expm1-log1p-u` `cbrt-unprod` `log1p-expm1-u` `add-log-exp`
3×	`cbrt-undiv` `rec-exp` `pow-unpow` `1-exp` `associate-r/` `associate-l` `associate-/r` `un-div-inv` `associate-/l*` `rem-cube-cbrt` `unswap-sqr`
2×	`cube-mult` `unpow-prod-down` `cbrt-div` `pow-pow` `unpow3` `cube-prod` `pow-prod-down` `div-inv` `sqr-pow`
1×	`pow-to-exp` `pow-flip` `frac-2neg` `pow1/3` `clear-num` `*-commutative` `rem-cbrt-cube` `inv-pow`

Counts

4 → 122

Calls

4 calls:

5.0ms	(pow (* (fma x 0.27061 2.30753) (/ 1 (fma x (fma 0.04481 x 0.99229) 1.0))) 3)
2.0ms	(/ 1 (fma x (fma 0.04481 x 0.99229) 1.0))
8.0ms	(* (fma x 0.27061 2.30753) (/ 1 (fma x (fma 0.04481 x 0.99229) 1.0)))
1.0ms	(cbrt (pow (* (fma x 0.27061 2.30753) (/ 1 (fma x (fma 0.04481 x 0.99229) 1.0))) 3))

series267.0ms

Counts

4 → 12

Calls

4 calls:

92.0ms	(pow (* (fma x 0.27061 2.30753) (/ 1 (fma x (fma 0.04481 x 0.99229) 1.0))) 3)
48.0ms	(/ 1 (fma x (fma 0.04481 x 0.99229) 1.0))
60.0ms	(* (fma x 0.27061 2.30753) (/ 1 (fma x (fma 0.04481 x 0.99229) 1.0)))
66.0ms	(cbrt (pow (* (fma x 0.27061 2.30753) (/ 1 (fma x (fma 0.04481 x 0.99229) 1.0))) 3))

simplify845.0ms

Counts

134 → 134

Iterations

Useful iterations: done (840.0ms)

Iter	Nodes	Cost
0	194	2453
1	419	1940
2	1173	1809
done	5000	1805

prune370.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

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

end0.0ms

sample363.0ms

Algorithm

intervals

Results

267.0ms

8000×

body

valid