Details

sample43.0ms

Algorithm

intervals

Results

25.0ms

256×

body

valid

simplify21.3s

Counts

1 → 1

Iterations

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

prune19.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)
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)))
13.4b	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

rewrite413.0ms

Algorithm

rewrite-expression-head

Rules

145×	`add-sqr-sqrt`
135×	`*-un-lft-identity` `prod-diff`
131×	`add-cube-cbrt`
101×	`times-frac`
48×	`distribute-rgt-in` `distribute-lft-in`
22×	`associate-/r/`
15×	`fma-neg`
13×	`flip3-+` `flip-+`
11×	`div-inv`
10×	`add-exp-log` `add-cbrt-cube`
9×	`associate-r`
8×	`pow1`
6×	`associate-l` `add-log-exp`
4×	`expm1-log1p-u` `associate-*r/` `log1p-expm1-u` `difference-of-squares`
3×	`sub-neg` `associate-/r` `associate-/l`
2×	`flip3--` `pow-prod-down` `prod-exp` `*-commutative` `flip--` `cbrt-unprod` `associate-/l/` `distribute-lft-out--` `unswap-sqr`
1×	`cbrt-undiv` `frac-2neg` `diff-log` `div-exp` `clear-num`

Counts

4 → 253

Calls

4 calls:

123.0ms	(- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)
224.0ms	(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
17.0ms	(* x (+ 0.99229 (* x 0.04481)))
36.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series410.0ms

Counts

4 → 12

Calls

4 calls:

107.0ms	(- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)
130.0ms	(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
97.0ms	(* x (+ 0.99229 (* x 0.04481)))
75.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

simplify2.0s

Counts

265 → 265

Iterations

Useful iterations: done (2.0s)

Iter	Nodes	Cost
0	370	9871
1	787	8434
2	2152	6616
done	5000	6002

prune801.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.0b	(+ (/ (* (fma 0.27061 x 2.30753) 0.70711) (fma x (fma 0.04481 x 0.99229) 1.0)) (* 0.70711 (- x)))
0.1b	(fma x (fma 0.04481 x 0.99229) 1.0)
0.1b	(* (fma 0.27061 x 2.30753) 0.70711)
13.4b	(/ (* (fma 0.27061 x 2.30753) 0.70711) (fma x (fma 0.04481 x 0.99229) 1.0))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt`
11×	`add-exp-log` `add-cbrt-cube`
10×	`add-cube-cbrt` `*-un-lft-identity`
7×	`fma-def`
6×	`pow1` `times-frac` `add-log-exp`
4×	`expm1-log1p-u` `log1p-expm1-u`
3×	`associate-r` `associate-l` `associate-/r*`
2×	`cbrt-undiv` `div-exp` `prod-exp` `distribute-rgt-neg-out` `cbrt-unprod` `div-inv`
1×	`+-commutative` `frac-2neg` `flip3-+` `unsub-neg` `pow-prod-down` `clear-num` `sum-log` `-commutative` `flip-+` `fma-udef` `associate-/l` `unswap-sqr`

Counts

4 → 75

Calls

4 calls:

17.0ms	(+ (/ (* (fma 0.27061 x 2.30753) 0.70711) (fma x (fma 0.04481 x 0.99229) 1.0)) (* 0.70711 (- x)))
0.0ms	(fma x (fma 0.04481 x 0.99229) 1.0)
13.0ms	(* (fma 0.27061 x 2.30753) 0.70711)
10.0ms	(/ (* (fma 0.27061 x 2.30753) 0.70711) (fma x (fma 0.04481 x 0.99229) 1.0))

series332.0ms

Counts

4 → 12

Calls

4 calls:

96.0ms	(+ (/ (* (fma 0.27061 x 2.30753) 0.70711) (fma x (fma 0.04481 x 0.99229) 1.0)) (* 0.70711 (- x)))
41.0ms	(fma x (fma 0.04481 x 0.99229) 1.0)
91.0ms	(* (fma 0.27061 x 2.30753) 0.70711)
104.0ms	(/ (* (fma 0.27061 x 2.30753) 0.70711) (fma x (fma 0.04481 x 0.99229) 1.0))

simplify1.5s

Counts

87 → 87

Iterations

Useful iterations: done (1.5s)

Iter	Nodes	Cost
0	136	1291
1	329	1231
2	1182	1061
done	5000	1016

prune392.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize24.0ms

Local error

Found 4 expressions with local error:

6.4b	(/ (fma 0.27061 x 2.30753) (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))))
13.8b	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))
13.8b	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))
13.8b	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 62

Calls

4 calls:

20.0ms	(/ (fma 0.27061 x 2.30753) (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))))
2.0ms	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))
2.0ms	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))
2.0ms	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))

series1.0s

Counts

4 → 12

Calls

4 calls:

340.0ms	(/ (fma 0.27061 x 2.30753) (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))))
223.0ms	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))
219.0ms	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))
232.0ms	(cbrt (fma x (fma 0.04481 x 0.99229) 1.0))

simplify2.1s

Counts

74 → 74

Iterations

Useful iterations: done (2.1s)

Iter	Nodes	Cost
0	162	1848
1	399	1770
2	1141	1614
3	3799	1395
done	5000	1386

prune439.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.1b	(* x (+ 0.99229 (* x 0.04481)))
0.2b	(* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))
5.6b	(/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))))
13.8b	(fma (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481)))))) (- 1.0 (* x (+ 0.99229 (* x 0.04481)))) (- x))

rewrite166.0ms

Algorithm

rewrite-expression-head

Rules

45×	`pow1`
20×	`add-exp-log` `add-cbrt-cube`
18×	`pow-prod-down`
17×	`add-sqr-sqrt`
16×	`associate-*r/`
15×	`add-cube-cbrt` `*-un-lft-identity`
12×	`times-frac`
9×	`prod-exp` `cbrt-unprod`
8×	`flip3-+` `flip-+`
5×	`distribute-rgt-in` `distribute-lft-in`
4×	`expm1-log1p-u` `frac-times` `associate-r` `associate-l` `associate-/r*` `pow-sqr` `pow-prod-up` `log1p-expm1-u` `add-log-exp` `difference-of-squares`
3×	`associate-/l*`
2×	`pow-plus` `associate-l/` `associate-/r/` `-commutative` `associate-/l/`
1×	`cbrt-undiv` `pow2` `flip3--` `frac-2neg` `swap-sqr` `div-exp` `clear-num` `flip--` `fma-udef` `div-inv` `unswap-sqr`

Counts

4 → 119

Calls

4 calls:

20.0ms	(* x (+ 0.99229 (* x 0.04481)))
105.0ms	(* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))
34.0ms	(/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))))
0.0ms	(fma (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481)))))) (- 1.0 (* x (+ 0.99229 (* x 0.04481)))) (- x))

series384.0ms

Counts

4 → 12

Calls

4 calls:

98.0ms	(* x (+ 0.99229 (* x 0.04481)))
60.0ms	(* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))
97.0ms	(/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))))
128.0ms	(fma (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481)))))) (- 1.0 (* x (+ 0.99229 (* x 0.04481)))) (- x))

simplify1.7s

Counts

131 → 131

Iterations

Useful iterations: done (1.7s)

Iter	Nodes	Cost
0	231	3240
1	620	2976
2	2341	2349
done	5001	2168

prune591.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes35.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify9.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	19
1	20	19
2	24	19
3	25	19
done	25	19

end1.0ms

sample1.1s

Algorithm

intervals

Results

984.0ms

8000×

body

valid