Details

sample21.0ms

Algorithm

intervals

Results

12.0ms

256×

body

valid

simplify12.2s

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	1338	16
14	1602	16
15	1819	16
16	2446	16
17	3588	16
18	4701	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.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)
15.3b	(/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))

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

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

series218.0ms

Counts

4 → 12

Calls

4 calls:

58.0ms	(- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) x)
68.0ms	(* (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) x) 0.70711)
26.0ms	(fma (fma 0.04481 x 0.99229) x 1.0)
65.0ms	(/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))

simplify2.2s

Counts

145 → 145

Iterations

Useful iterations: 3 (1.2s)

Iter	Nodes	Cost
0	213	3586
1	445	3162
2	1122	2828
3	3821	2532
done	5000	2532

prune333.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize12.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.5b	(/ 1 (fma (fma 0.04481 x 0.99229) x 1.0))

rewrite10.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))
5.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)
2.0ms	(/ 1 (fma (fma 0.04481 x 0.99229) x 1.0))

series209.0ms

Counts

4 → 12

Calls

4 calls:

63.0ms	(fma (fma 0.27061 x 2.30753) (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)) (- x))
74.0ms	(* (fma (fma 0.27061 x 2.30753) (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)) (- x)) 0.70711)
26.0ms	(fma (fma 0.04481 x 0.99229) x 1.0)
45.0ms	(/ 1 (fma (fma 0.04481 x 0.99229) x 1.0))

simplify1.4s

Counts

85 → 85

Iterations

Useful iterations: 3 (511.0ms)

Iter	Nodes	Cost
0	150	1447
1	301	1390
2	741	1136
3	2086	1133
done	5000	1133

prune230.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize16.0ms

Local error

Found 4 expressions with local error:

15.3b	(/ (* (- (* (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (* x x)) 0.70711) (+ (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) x))
15.3b	(/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))
15.3b	(/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))
15.3b	(/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

34×	`*-un-lft-identity`
31×	`times-frac`
30×	`add-sqr-sqrt` `add-cube-cbrt`
15×	`add-exp-log` `add-cbrt-cube`
13×	`associate-/r*`
10×	`associate-/l*`
5×	`cbrt-undiv` `div-exp`
4×	`pow1` `expm1-log1p-u` `frac-2neg` `clear-num` `log1p-expm1-u` `div-inv` `add-log-exp`
2×	`associate-*l/` `associate-/r/` `associate-/l/` `distribute-lft-out`
1×	`flip3--` `flip3-+` `prod-exp` `flip--` `cbrt-unprod` `flip-+`

Counts

4 → 116

Calls

4 calls:

23.0ms	(/ (* (- (* (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (* x x)) 0.70711) (+ (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) x))
2.0ms	(/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))
2.0ms	(/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))
2.0ms	(/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))

series346.0ms

Counts

4 → 12

Calls

4 calls:

151.0ms	(/ (* (- (* (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (* x x)) 0.70711) (+ (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) x))
64.0ms	(/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))
64.0ms	(/ (fma 0.27061 x 2.30753) (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))

simplify714.0ms

Counts

128 → 128

Iterations

Useful iterations: 2 (155.0ms)

Iter	Nodes	Cost
0	155	3676
1	382	3524
2	1351	3124
done	5000	3124

prune409.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (* 1.3436228731669864 x) 2.134856267379707)
0.0b	(+ 1.6316775383 (* x (- (* 1.3436228731669864 x) 2.134856267379707)))
0.1b	(* x (- (* 1.3436228731669864 x) 2.134856267379707))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

15×	`prod-diff`
13×	`add-sqr-sqrt`
11×	`add-cube-cbrt` `*-un-lft-identity`
10×	`distribute-rgt-in` `associate-+r+` `distribute-lft-in`
7×	`add-log-exp`
5×	`pow1` `add-exp-log` `sub-neg` `add-cbrt-cube`
3×	`expm1-log1p-u` `fma-def` `associate-r` `associate-l` `log1p-expm1-u`
2×	`flip3--` `associate-*r/` `flip--`
1×	`+-commutative` `flip3-+` `fma-neg` `diff-log` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `flip-+` `unswap-sqr`

Counts

3 → 76

Calls

3 calls:

3.0ms	(- (* 1.3436228731669864 x) 2.134856267379707)
4.0ms	(+ 1.6316775383 (* x (- (* 1.3436228731669864 x) 2.134856267379707)))
12.0ms	(* x (- (* 1.3436228731669864 x) 2.134856267379707))

series132.0ms

Counts

3 → 9

Calls

3 calls:

43.0ms	(- (* 1.3436228731669864 x) 2.134856267379707)
23.0ms	(+ 1.6316775383 (* x (- (* 1.3436228731669864 x) 2.134856267379707)))
66.0ms	(* x (- (* 1.3436228731669864 x) 2.134856267379707))

simplify1.6s

Counts

85 → 85

Iterations

Useful iterations: 3 (403.0ms)

Iter	Nodes	Cost
0	125	986
1	273	843
2	701	738
3	2815	727
done	5000	727

prune138.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes16.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	15	18
1	18	18
done	18	18

end0.0ms

sample368.0ms

Algorithm

intervals

Results

276.0ms

8000×

body

valid