Details

sample17.0ms

Algorithm

intervals

Results

9.0ms

256×

body

valid

simplify9.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	1336	16
14	1600	16
15	1776	16
16	2341	16
17	3303	16
18	4360	16
done	5000	16

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

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

rewrite62.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)
40.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))

series217.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify1.9s

Counts

145 → 145

Iterations

Useful iterations: 3 (1.1s)

Iter	Nodes	Cost
0	213	3586
1	432	3162
2	1108	2828
3	3759	2532
done	5000	2532

prune349.0ms

Pruning

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

rewrite18.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 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) 3)
2.0ms	(/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))
7.0ms	(cbrt (pow (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) 3))

series244.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify725.0ms

Counts

143 → 143

Iterations

Useful iterations: done (720.0ms)

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

prune381.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize15.0ms

Local error

Found 4 expressions with local error:

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

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

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))
27.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))

series344.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify706.0ms

Counts

128 → 128

Iterations

Useful iterations: 2 (150.0ms)

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

prune424.0ms

Pruning

3 alts after pruning (1 fresh and 2 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.5b	(* (sqrt (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) x)) (* (sqrt (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) x)) 0.70711))
15.6b	(/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))
15.6b	(/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))

rewrite71.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-sqr-sqrt`
24×	`*-un-lft-identity`
22×	`add-cube-cbrt`
19×	`times-frac`
13×	`add-exp-log` `add-cbrt-cube`
12×	`sqrt-div`
9×	`pow1` `associate-l`
8×	`associate-*l/`
6×	`flip3--` `associate-/r` `sqrt-prod` `flip--` `associate-/l`
4×	`expm1-log1p-u` `frac-times` `log1p-expm1-u` `add-log-exp`
3×	`pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`cbrt-undiv` `frac-2neg` `associate-*r/` `div-exp` `clear-num` `div-inv` `difference-of-squares`
1×	`associate-r` `*-commutative` `fma-udef` `distribute-lft-out--`

Counts

4 → 102

Calls

4 calls:

0.0ms	(fma (fma 0.04481 x 0.99229) x 1.0)
63.0ms	(* (sqrt (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) x)) (* (sqrt (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) x)) 0.70711))
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))

series226.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(fma (fma 0.04481 x 0.99229) x 1.0)
68.0ms	(* (sqrt (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) x)) (* (sqrt (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) x)) 0.70711))
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))

simplify1.3s

Counts

114 → 114

Iterations

Useful iterations: 3 (500.0ms)

Iter	Nodes	Cost
0	170	3150
1	380	2585
2	928	2306
3	2293	2270
done	5000	2270

prune376.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes17.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	16	19
1	17	19
done	17	19

end0.0ms

sample386.0ms

Algorithm

intervals

Results

289.0ms

8000×

body

valid