Details

sample19.0ms

Algorithm

intervals

Results

9.0ms

256×

body

valid

simplify13.5s

Counts

1 → 1

Iterations

Useful iterations: 2 (9.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

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

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

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

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

series213.0ms

Counts

4 → 12

Calls

4 calls:

68.0ms	(* (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) x) 0.70711)
55.0ms	(- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) x)
29.0ms	(fma (fma 0.04481 x 0.99229) x 1.0)
61.0ms	(/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))

simplify1.8s

Counts

145 → 145

Iterations

Useful iterations: done (1.8s)

Iter	Nodes	Cost
0	213	3586
1	449	3162
2	1083	2828
3	3627	2532
done	5000	2467

prune340.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize15.0ms

Local error

Found 4 expressions with local error:

0.1b	(fma (fma 0.04481 x 0.99229) x 1.0)
1.3b	(expm1 (log1p (fma (fma 0.04481 x 0.99229) x 1.0)))
15.1b	(/ (fma 0.27061 x 2.30753) (expm1 (log1p (fma (fma 0.04481 x 0.99229) x 1.0))))
15.6b	(log1p (fma (fma 0.04481 x 0.99229) x 1.0))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`times-frac`
6×	`add-exp-log` `add-cbrt-cube`
5×	`expm1-log1p-u`
4×	`pow1` `log1p-expm1-u` `add-log-exp`
3×	`associate-/r` `associate-/l`
1×	`cbrt-undiv` `log1p-udef` `expm1-log1p` `frac-2neg` `log1p-expm1` `div-exp` `clear-num` `fma-udef` `div-inv` `expm1-udef`

Counts

4 → 61

Calls

4 calls:

0.0ms	(fma (fma 0.04481 x 0.99229) x 1.0)
0.0ms	(expm1 (log1p (fma (fma 0.04481 x 0.99229) x 1.0)))
8.0ms	(/ (fma 0.27061 x 2.30753) (expm1 (log1p (fma (fma 0.04481 x 0.99229) x 1.0))))
1.0ms	(log1p (fma (fma 0.04481 x 0.99229) x 1.0))

series448.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(fma (fma 0.04481 x 0.99229) x 1.0)
136.0ms	(expm1 (log1p (fma (fma 0.04481 x 0.99229) x 1.0)))
189.0ms	(/ (fma 0.27061 x 2.30753) (expm1 (log1p (fma (fma 0.04481 x 0.99229) x 1.0))))
91.0ms	(log1p (fma (fma 0.04481 x 0.99229) x 1.0))

simplify750.0ms

Counts

73 → 73

Iterations

Useful iterations: done (747.0ms)

Iter	Nodes	Cost
0	217	1624
1	527	1437
2	1623	1279
done	5001	1201

prune271.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.6b	(expm1 (log1p (log1p (fma (fma 0.04481 x 0.99229) x 1.0))))
1.3b	(expm1 (expm1 (log1p (log1p (fma (fma 0.04481 x 0.99229) x 1.0)))))
15.1b	(/ (fma 0.27061 x 2.30753) (expm1 (expm1 (log1p (log1p (fma (fma 0.04481 x 0.99229) x 1.0))))))
15.6b	(log1p (fma (fma 0.04481 x 0.99229) x 1.0))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`times-frac`
6×	`add-exp-log` `add-cbrt-cube`
5×	`expm1-log1p-u` `log1p-expm1-u`
4×	`pow1` `add-log-exp`
3×	`associate-/r` `associate-/l`
2×	`expm1-log1p` `expm1-udef`
1×	`cbrt-undiv` `log1p-udef` `frac-2neg` `log1p-expm1` `div-exp` `clear-num` `div-inv`

Counts

4 → 62

Calls

4 calls:

0.0ms	(expm1 (log1p (log1p (fma (fma 0.04481 x 0.99229) x 1.0))))
0.0ms	(expm1 (expm1 (log1p (log1p (fma (fma 0.04481 x 0.99229) x 1.0)))))
5.0ms	(/ (fma 0.27061 x 2.30753) (expm1 (expm1 (log1p (log1p (fma (fma 0.04481 x 0.99229) x 1.0))))))
1.0ms	(log1p (fma (fma 0.04481 x 0.99229) x 1.0))

series1.4s

Counts

4 → 12

Calls

4 calls:

463.0ms	(expm1 (log1p (log1p (fma (fma 0.04481 x 0.99229) x 1.0))))
364.0ms	(expm1 (expm1 (log1p (log1p (fma (fma 0.04481 x 0.99229) x 1.0)))))
468.0ms	(/ (fma 0.27061 x 2.30753) (expm1 (expm1 (log1p (log1p (fma (fma 0.04481 x 0.99229) x 1.0))))))
96.0ms	(log1p (fma (fma 0.04481 x 0.99229) x 1.0))

simplify1.6s

Counts

74 → 74

Iterations

Useful iterations: done (1.6s)

Iter	Nodes	Cost
0	371	3067
1	1140	2644
2	4897	2424
done	5000	2423

prune332.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite167.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-r`
11×	`pow1`
10×	`times-frac`
7×	`associate-l` `sqrt-prod`
6×	`associate-*l/`
4×	`expm1-log1p-u` `pow-prod-down` `prod-exp` `cbrt-unprod` `log1p-expm1-u` `add-log-exp`
3×	`associate-/r` `associate-/l`
2×	`flip3--` `*-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 (fma 0.04481 x 0.99229) x 1.0)
66.0ms	(* (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) x) (sqrt 0.70711))
92.0ms	(* (* (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) x) (sqrt 0.70711)) (sqrt 0.70711))
5.0ms	(/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))

series315.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(fma (fma 0.04481 x 0.99229) x 1.0)
100.0ms	(* (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) x) (sqrt 0.70711))
127.0ms	(* (* (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) x) (sqrt 0.70711)) (sqrt 0.70711))
61.0ms	(/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))

simplify2.0s

Counts

105 → 105

Iterations

Useful iterations: done (2.0s)

Iter	Nodes	Cost
0	185	2215
1	413	2020
2	1175	1797
3	3878	1776
done	5000	1770

prune291.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes17.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	17	20
1	18	20
done	18	20

end0.0ms

sample413.0ms

Algorithm

intervals

Results

276.0ms

8000×

body

valid