Details

sample26.0ms

Algorithm

intervals

Results

15.0ms

256×

body

valid

simplify19.4s

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

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

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

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

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

series348.0ms

Counts

4 → 12

Calls

4 calls:

90.0ms	(- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) x)
103.0ms	(* (- (/ (fma 0.27061 x 2.30753) (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)
108.0ms	(/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))

simplify3.2s

Counts

145 → 145

Iterations

Useful iterations: done (3.2s)

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

prune460.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite67.0ms

Algorithm

rewrite-expression-head

Rules

31×	`add-sqr-sqrt`
23×	`*-un-lft-identity`
22×	`add-cube-cbrt`
20×	`times-frac`
19×	`add-exp-log`
16×	`associate-r`
13×	`add-cbrt-cube`
9×	`pow1`
6×	`associate-l`
5×	`prod-exp`
4×	`expm1-log1p-u` `div-exp` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
3×	`associate-/r` `cbrt-unprod` `associate-/l`
2×	`cbrt-undiv` `rec-exp` `1-exp` `pow-prod-down` `associate-l/` `-commutative` `div-inv`
1×	`flip3--` `pow-flip` `frac-2neg` `associate-*r/` `clear-num` `un-div-inv` `flip--` `fma-udef` `inv-pow`

Counts

4 → 103

Calls

4 calls:

43.0ms	(* (- (* (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))
15.0ms	(* (fma 0.27061 x 2.30753) (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)))

series250.0ms

Counts

4 → 12

Calls

4 calls:

85.0ms	(* (- (* (fma 0.27061 x 2.30753) (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0))) x) 0.70711)
34.0ms	(fma (fma 0.04481 x 0.99229) x 1.0)
61.0ms	(/ 1 (fma (fma 0.04481 x 0.99229) x 1.0))
70.0ms	(* (fma 0.27061 x 2.30753) (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)))

simplify2.7s

Counts

115 → 115

Iterations

Useful iterations: done (2.7s)

Iter	Nodes	Cost
0	190	2001
1	418	1763
2	1137	1551
3	3818	1548
done	5000	1541

prune453.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize17.0ms

Local error

Found 4 expressions with local error:

6.7b	(* (fma 0.27061 x 2.30753) (* (cbrt (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0))) (cbrt (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)))))
15.6b	(cbrt (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)))
15.6b	(cbrt (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)))
15.6b	(cbrt (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

39×	`cbrt-prod`
27×	`add-sqr-sqrt` `times-frac`
26×	`add-cube-cbrt` `*-un-lft-identity`
9×	`pow1` `add-exp-log`
7×	`cbrt-div` `add-cbrt-cube`
4×	`expm1-log1p-u` `associate-*r/` `log1p-expm1-u` `add-log-exp`
3×	`pow1/3` `associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod` `div-inv`
1×	`frac-times` `associate-r` `associate-l/` `-commutative` `unswap-sqr`

Counts

4 → 96

Calls

4 calls:

31.0ms	(* (fma 0.27061 x 2.30753) (* (cbrt (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0))) (cbrt (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)))))
3.0ms	(cbrt (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)))
3.0ms	(cbrt (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)))
6.0ms	(cbrt (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)))

series912.0ms

Counts

4 → 12

Calls

4 calls:

285.0ms	(* (fma 0.27061 x 2.30753) (* (cbrt (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0))) (cbrt (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)))))
205.0ms	(cbrt (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)))
218.0ms	(cbrt (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)))
204.0ms	(cbrt (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)))

simplify2.8s

Counts

108 → 108

Iterations

Useful iterations: done (2.8s)

Iter	Nodes	Cost
0	197	2755
1	461	2569
2	1219	2350
3	4310	2160
done	5000	2157

prune576.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize40.0ms

Local error

Found 4 expressions with local error:

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

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

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

series526.0ms

Counts

4 → 12

Calls

4 calls:

245.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))
106.0ms	(/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))
95.0ms	(/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))
80.0ms	(/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))

simplify1.0s

Counts

128 → 128

Iterations

Useful iterations: done (1.0s)

Iter	Nodes	Cost
0	155	3676
1	381	3524
2	1386	3124
done	5000	2642

prune487.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes32.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	41
1	23	41
done	23	41

end0.0ms

sample562.0ms

Algorithm

intervals

Results

374.0ms

8000×

body

valid