Details

sample37.0ms

Algorithm

intervals

Results

22.0ms

256×

body

valid

simplify20.8s

Counts

1 → 1

Iterations

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

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize41.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	(+ 2.30753 (* x 0.27061))
0.1b	(* x (+ 0.99229 (* x 0.04481)))
12.9b	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

rewrite209.0ms

Algorithm

rewrite-expression-head

Rules

65×	`add-sqr-sqrt`
60×	`*-un-lft-identity`
58×	`add-cube-cbrt`
46×	`times-frac`
45×	`prod-diff`
15×	`fma-neg`
10×	`associate-/r/`
8×	`add-exp-log` `flip3-+` `add-cbrt-cube` `flip-+` `add-log-exp`
6×	`pow1`
5×	`div-inv`
4×	`expm1-log1p-u` `log1p-expm1-u`
3×	`fma-def` `associate-r` `associate-l` `associate-/r` `associate-/l`
2×	`associate-*r/` `associate-/l/` `difference-of-squares`
1×	`cbrt-undiv` `+-commutative` `distribute-rgt-in` `sub-neg` `flip3--` `frac-2neg` `distribute-lft-in` `diff-log` `div-exp` `pow-prod-down` `prod-exp` `clear-num` `sum-log` `*-commutative` `flip--` `cbrt-unprod` `distribute-lft-out--` `unswap-sqr`

Counts

4 → 150

Calls

4 calls:

129.0ms	(- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)
12.0ms	(+ 2.30753 (* x 0.27061))
23.0ms	(* x (+ 0.99229 (* x 0.04481)))
32.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series311.0ms

Counts

4 → 12

Calls

4 calls:

115.0ms	(- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)
40.0ms	(+ 2.30753 (* x 0.27061))
86.0ms	(* x (+ 0.99229 (* x 0.04481)))
71.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

simplify1.6s

Counts

162 → 162

Iterations

Useful iterations: done (1.6s)

Iter	Nodes	Cost
0	240	4158
1	607	3458
2	1804	2842
done	5000	2628

prune603.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ 2.30753 (* x 0.27061))
0.0b	(fma (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (- x))
0.1b	(* x (+ 0.99229 (* x 0.04481)))
0.4b	(/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 85

Calls

4 calls:

12.0ms	(+ 2.30753 (* x 0.27061))
1.0ms	(fma (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (- x))
31.0ms	(* x (+ 0.99229 (* x 0.04481)))
14.0ms	(/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series304.0ms

Counts

4 → 12

Calls

4 calls:

57.0ms	(+ 2.30753 (* x 0.27061))
98.0ms	(fma (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (- x))
75.0ms	(* x (+ 0.99229 (* x 0.04481)))
73.0ms	(/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

simplify3.8s

Counts

97 → 97

Iterations

Useful iterations: 3 (2.3s)

Iter	Nodes	Cost
0	179	1360
1	436	1244
2	1310	977
3	4746	975
done	5000	975

prune402.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 4 expressions with local error:

0.1b	(fma x (fma x 0.04481 0.99229) 1.0)
0.1b	(pow (/ 1 (fma x (fma x 0.04481 0.99229) 1.0)) 3)
0.4b	(/ 1 (fma x (fma x 0.04481 0.99229) 1.0))
10.1b	(cbrt (pow (/ 1 (fma x (fma x 0.04481 0.99229) 1.0)) 3))

rewrite24.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`
13×	`add-exp-log`
9×	`add-cbrt-cube`
7×	`pow1`
5×	`div-inv`
4×	`expm1-log1p-u` `div-exp` `pow-exp` `log1p-expm1-u` `add-log-exp`
3×	`pow-unpow` `pow-pow` `associate-/r` `associate-/l`
2×	`cbrt-undiv` `cube-div` `cube-mult` `rec-exp` `pow-flip` `1-exp` `unpow3` `inv-pow` `rem-cube-cbrt` `sqr-pow`
1×	`pow-to-exp` `cbrt-div` `frac-2neg` `pow1/3` `clear-num` `rem-cbrt-cube` `fma-udef`

Counts

4 → 139

Calls

4 calls:

0.0ms	(fma x (fma x 0.04481 0.99229) 1.0)
7.0ms	(pow (/ 1 (fma x (fma x 0.04481 0.99229) 1.0)) 3)
5.0ms	(/ 1 (fma x (fma x 0.04481 0.99229) 1.0))
6.0ms	(cbrt (pow (/ 1 (fma x (fma x 0.04481 0.99229) 1.0)) 3))

series284.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(fma x (fma x 0.04481 0.99229) 1.0)
95.0ms	(pow (/ 1 (fma x (fma x 0.04481 0.99229) 1.0)) 3)
75.0ms	(/ 1 (fma x (fma x 0.04481 0.99229) 1.0))
75.0ms	(cbrt (pow (/ 1 (fma x (fma x 0.04481 0.99229) 1.0)) 3))

simplify5.2s

Counts

151 → 151

Iterations

Useful iterations: done (5.2s)

Iter	Nodes	Cost
0	184	2805
1	411	2273
2	909	1977
3	4550	1966
done	5000	1959

prune425.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 4 expressions with local error:

0.0b	(pow (exp x) (fma x 0.04481 0.99229))
0.0b	(fma (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (log (pow (exp x) (fma x 0.04481 0.99229))))) (- x))
0.0b	(/ 1 (+ 1.0 (log (pow (exp x) (fma x 0.04481 0.99229)))))
4.5b	(log (pow (exp x) (fma x 0.04481 0.99229)))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

26×	`*-un-lft-identity`
18×	`add-sqr-sqrt` `add-cube-cbrt`
12×	`times-frac`
9×	`add-exp-log`
8×	`log-prod`
6×	`pow1` `unpow-prod-down` `add-cbrt-cube`
4×	`expm1-log1p-u` `pow-pow` `associate-/r*` `log1p-expm1-u` `distribute-lft-out` `add-log-exp`
3×	`pow-unpow` `exp-prod` `rem-log-exp` `fma-udef` `associate-/l*`
2×	`unpow-prod-up` `pow-to-exp` `div-exp` `pow-exp` `associate-/r/` `sqr-pow`
1×	`cbrt-undiv` `rec-exp` `pow-flip` `frac-2neg` `flip3-+` `1-exp` `clear-num` `log-pow` `flip-+` `div-inv` `inv-pow`

Counts

4 → 93

Calls

4 calls:

5.0ms	(pow (exp x) (fma x 0.04481 0.99229))
0.0ms	(fma (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (log (pow (exp x) (fma x 0.04481 0.99229))))) (- x))
13.0ms	(/ 1 (+ 1.0 (log (pow (exp x) (fma x 0.04481 0.99229)))))
4.0ms	(log (pow (exp x) (fma x 0.04481 0.99229)))

series570.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(pow (exp x) (fma x 0.04481 0.99229))
248.0ms	(fma (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (log (pow (exp x) (fma x 0.04481 0.99229))))) (- x))
145.0ms	(/ 1 (+ 1.0 (log (pow (exp x) (fma x 0.04481 0.99229)))))
141.0ms	(log (pow (exp x) (fma x 0.04481 0.99229)))

simplify2.8s

Counts

105 → 105

Iterations

Useful iterations: done (2.8s)

Iter	Nodes	Cost
0	167	1613
1	332	1269
2	808	1151
3	2489	1128
done	5001	1119

prune491.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

regimes24.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	19	22
1	24	22
done	24	22

end0.0ms

sample1.0s

Algorithm

intervals

Results

806.0ms

8000×

body

valid