Details

sample26.0ms

Algorithm

intervals

Results

14.0ms

256×

body

valid

simplify20.2s

Counts

1 → 1

Iterations

Useful iterations: 2 (17.0ms)

Iter	Nodes	Cost
0	16	19
1	31	19
2	59	16
3	87	16
4	112	16
5	126	16
6	142	16
7	181	16
8	245	16
9	273	16
10	346	16
11	542	16
12	794	16
13	1100	16
14	1404	16
15	1637	16
16	1979	16
17	2694	16
18	3412	16
19	4433	16
20	4990	16
done	5000	16

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) x)
0.0b	(* (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) x) 0.70711)
0.1b	(fma (fma 0.04481 x 0.99229) x 1.0)
13.2b	(/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))

rewrite119.0ms

Algorithm

rewrite-expression-head

Rules

67×	`add-sqr-sqrt`
59×	`*-un-lft-identity`
55×	`add-cube-cbrt`
47×	`times-frac`
39×	`prod-diff`
13×	`fma-neg`
8×	`add-exp-log` `add-cbrt-cube`
6×	`pow1` `associate-l` `add-log-exp`
5×	`div-inv`
4×	`expm1-log1p-u` `log1p-expm1-u` `difference-of-squares`
3×	`associate-r` `associate-/r` `associate-/l`
2×	`flip3--` `associate-*l/` `flip--` `distribute-lft-out--`
1×	`cbrt-undiv` `sub-neg` `frac-2neg` `diff-log` `div-exp` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `cbrt-unprod` `fma-udef` `unswap-sqr`

Counts

4 → 133

Calls

4 calls:

26.0ms	(- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) x)
78.0ms	(* (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) x) 0.70711)
0.0ms	(fma (fma 0.04481 x 0.99229) x 1.0)
9.0ms	(/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))

series282.0ms

Counts

4 → 12

Calls

4 calls:

71.0ms	(- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) x)
87.0ms	(* (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) x) 0.70711)
36.0ms	(fma (fma 0.04481 x 0.99229) x 1.0)
87.0ms	(/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))

simplify2.5s

Counts

145 → 145

Iterations

Useful iterations: done (2.5s)

Iter	Nodes	Cost
0	213	3586
1	449	3162
2	1082	2828
3	3626	2532
done	5001	2467

prune504.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b	(fma (fma 0.27061 x 2.30753) (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)) (- x))
0.0b	(* (fma (fma 0.27061 x 2.30753) (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)) (- x)) 0.70711)
0.1b	(fma (fma 0.04481 x 0.99229) x 1.0)
0.3b	(/ 1 (fma (fma 0.04481 x 0.99229) x 1.0))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt`
14×	`add-cube-cbrt` `*-un-lft-identity`
10×	`add-exp-log`
9×	`times-frac`
8×	`add-cbrt-cube`
7×	`pow1`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`associate-r` `associate-l` `associate-/r` `associate-/l`
2×	`div-exp` `fma-udef`
1×	`cbrt-undiv` `rec-exp` `pow-flip` `frac-2neg` `1-exp` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `cbrt-unprod` `div-inv` `inv-pow` `unswap-sqr`

Counts

4 → 73

Calls

4 calls:

0.0ms	(fma (fma 0.27061 x 2.30753) (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)) (- x))
12.0ms	(* (fma (fma 0.27061 x 2.30753) (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)) (- x)) 0.70711)
0.0ms	(fma (fma 0.04481 x 0.99229) x 1.0)
5.0ms	(/ 1 (fma (fma 0.04481 x 0.99229) x 1.0))

series361.0ms

Counts

4 → 12

Calls

4 calls:

108.0ms	(fma (fma 0.27061 x 2.30753) (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)) (- x))
128.0ms	(* (fma (fma 0.27061 x 2.30753) (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)) (- x)) 0.70711)
46.0ms	(fma (fma 0.04481 x 0.99229) x 1.0)
78.0ms	(/ 1 (fma (fma 0.04481 x 0.99229) x 1.0))

simplify1.8s

Counts

85 → 85

Iterations

Useful iterations: done (1.8s)

Iter	Nodes	Cost
0	150	1447
1	300	1380
2	702	1136
3	2090	1133
done	5000	1128

prune312.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.1b	(fma (fma 0.04481 x 0.99229) x 1.0)
0.1b	(pow (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)) 3)
0.3b	(/ 1 (fma (fma 0.04481 x 0.99229) x 1.0))
9.8b	(cbrt (pow (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)) 3))

rewrite33.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`
13×	`add-exp-log`
9×	`add-cbrt-cube`
7×	`pow1`
5×	`div-inv`
4×	`expm1-log1p-u` `div-exp` `pow-exp` `log1p-expm1-u` `add-log-exp`
3×	`pow-unpow` `pow-pow` `associate-/r` `associate-/l`
2×	`cbrt-undiv` `cube-div` `cube-mult` `rec-exp` `pow-flip` `1-exp` `unpow3` `inv-pow` `rem-cube-cbrt` `sqr-pow`
1×	`pow-to-exp` `cbrt-div` `frac-2neg` `pow1/3` `clear-num` `rem-cbrt-cube` `fma-udef`

Counts

4 → 139

Calls

4 calls:

0.0ms	(fma (fma 0.04481 x 0.99229) x 1.0)
7.0ms	(pow (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)) 3)
10.0ms	(/ 1 (fma (fma 0.04481 x 0.99229) x 1.0))
11.0ms	(cbrt (pow (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)) 3))

series284.0ms

Counts

4 → 12

Calls

4 calls:

47.0ms	(fma (fma 0.04481 x 0.99229) x 1.0)
80.0ms	(pow (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)) 3)
79.0ms	(/ 1 (fma (fma 0.04481 x 0.99229) x 1.0))
77.0ms	(cbrt (pow (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)) 3))

simplify5.2s

Counts

151 → 151

Iterations

Useful iterations: done (5.2s)

Iter	Nodes	Cost
0	184	2805
1	411	2273
2	909	1977
3	4553	1966
done	5001	1959

prune417.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.1b	(fma (fma 0.04481 x 0.99229) x 1.0)
0.2b	(pow (* (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) x) 0.70711) 3)
13.2b	(/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))
17.3b	(cbrt (pow (* (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) x) 0.70711) 3))

rewrite67.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 86

Calls

4 calls:

1.0ms	(fma (fma 0.04481 x 0.99229) x 1.0)
48.0ms	(pow (* (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) x) 0.70711) 3)
6.0ms	(/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))
9.0ms	(cbrt (pow (* (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) x) 0.70711) 3))

series368.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(fma (fma 0.04481 x 0.99229) x 1.0)
154.0ms	(pow (* (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) x) 0.70711) 3)
90.0ms	(/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))
88.0ms	(cbrt (pow (* (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) x) 0.70711) 3))

simplify3.7s

Counts

98 → 98

Iterations

Useful iterations: 3 (1.5s)

Iter	Nodes	Cost
0	180	2125
1	387	1923
2	1087	1754
3	4903	1729
done	5000	1729

prune483.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes33.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	21
1	21	21
done	21	21

end0.0ms

sample1.0s

Algorithm

intervals

Results

832.0ms

8000×

body

valid