Details

sample17.0ms

Algorithm

intervals

Results

9.0ms

256×

body

valid

simplify12.4s

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

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ 2.30753 (* x 0.27061))
0.0b	(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
0.1b	(* x (+ 0.99229 (* x 0.04481)))
15.8b	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

rewrite116.0ms

Algorithm

rewrite-expression-head

Rules

98×	`add-sqr-sqrt`
91×	`*-un-lft-identity`
90×	`prod-diff`
89×	`add-cube-cbrt`
64×	`times-frac`
48×	`distribute-rgt-in` `distribute-lft-in`
14×	`associate-/r/`
10×	`add-exp-log` `flip3-+` `add-cbrt-cube` `flip-+`
9×	`associate-r`
8×	`pow1`
7×	`div-inv`
6×	`associate-l` `add-log-exp`
4×	`expm1-log1p-u` `associate-*r/` `log1p-expm1-u`
3×	`fma-def` `associate-/r` `associate-/l`
2×	`sub-neg` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `associate-/l/` `difference-of-squares` `unswap-sqr`
1×	`cbrt-undiv` `+-commutative` `flip3--` `frac-2neg` `div-exp` `clear-num` `sum-log` `flip--` `distribute-lft-out--`

Counts

4 → 192

Calls

4 calls:

2.0ms	(+ 2.30753 (* x 0.27061))
83.0ms	(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
11.0ms	(* x (+ 0.99229 (* x 0.04481)))
9.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series252.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(+ 2.30753 (* x 0.27061))
98.0ms	(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
61.0ms	(* x (+ 0.99229 (* x 0.04481)))
59.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

simplify967.0ms

Counts

204 → 204

Iterations

Useful iterations: done (958.0ms)

Iter	Nodes	Cost
0	366	7100
1	770	5859
2	2157	4824
done	5001	4722

prune376.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize18.0ms

Local error

Found 4 expressions with local error:

6.5b	(* (/ 1 (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (fma 0.27061 x 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))))
16.2b	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))
16.2b	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))
16.2b	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

49×	`add-exp-log`
43×	`add-sqr-sqrt`
33×	`times-frac`
25×	`*-un-lft-identity`
22×	`add-cube-cbrt` `associate-r`
21×	`cbrt-prod`
20×	`prod-exp`
18×	`add-cbrt-cube`
15×	`div-exp`
9×	`unswap-sqr`
8×	`cbrt-unprod`
7×	`cbrt-undiv` `associate-l`
6×	`pow1`
4×	`expm1-log1p-u` `rec-exp` `1-exp` `log1p-expm1-u` `add-log-exp`
3×	`pow1/3`
2×	`div-inv`
1×	`frac-times` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative`

Counts

4 → 111

Calls

4 calls:

35.0ms	(* (/ 1 (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (fma 0.27061 x 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))))
0.0ms	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))
0.0ms	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))
1.0ms	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))

series518.0ms

Counts

4 → 12

Calls

4 calls:

62.0ms	(* (/ 1 (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (fma 0.27061 x 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))))
154.0ms	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))
151.0ms	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))
151.0ms	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))

simplify1.2s

Counts

123 → 123

Iterations

Useful iterations: 2 (390.0ms)

Iter	Nodes	Cost
0	226	4079
1	642	3816
2	2104	2965
done	5000	2965

prune435.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.7b	(log1p (expm1 (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))))
16.2b	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))
16.2b	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))
16.2b	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

9×	`cbrt-prod`
7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `expm1-log1p-u` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp`
3×	`pow1/3`
1×	`log1p-udef` `log1p-expm1`

Counts

4 → 50

Calls

4 calls:

0.0ms	(log1p (expm1 (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))))
0.0ms	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))
0.0ms	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))
1.0ms	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))

series742.0ms

Counts

4 → 12

Calls

4 calls:

299.0ms	(log1p (expm1 (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))))
148.0ms	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))
148.0ms	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))
147.0ms	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))

simplify810.0ms

Counts

62 → 62

Iterations

Useful iterations: 3 (226.0ms)

Iter	Nodes	Cost
0	88	1340
1	196	1265
2	562	1193
3	2181	977
done	5000	977

prune318.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize13.0ms

Local error

Found 4 expressions with local error:

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

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

series326.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(fma x (fma 0.04481 x 0.99229) 1.0)
101.0ms	(* (- (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) x) (sqrt 0.70711))
125.0ms	(* (sqrt 0.70711) (* (- (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) x) (sqrt 0.70711)))
68.0ms	(/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))

simplify2.0s

Counts

105 → 105

Iterations

Useful iterations: 3 (1.0s)

Iter	Nodes	Cost
0	185	2221
1	398	2104
2	1140	1807
3	3789	1786
done	5000	1786

prune301.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes65.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	19
1	23	19
done	23	19

end0.0ms

sample369.0ms

Algorithm

intervals

Results

277.0ms

8000×

body

valid