Details

sample22.0ms

Algorithm

intervals

Results

12.0ms

256×

body

valid

simplify7.4s

Counts

1 → 1

Iterations

Useful iterations: 2 (6.0ms)

Iter	Nodes	Cost
0	14	17
1	22	17
2	39	14
3	66	14
4	92	14
5	102	14
6	124	14
7	152	14
8	203	14
9	264	14
10	299	14
11	381	14
12	394	14
13	413	14
14	451	14
15	578	14
16	714	14
17	951	14
18	1233	14
19	1379	14
20	1436	14
21	1466	14
22	1491	14
23	1532	14
24	1542	14
done	1542	14

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ 0.99229 (* x 0.04481))
0.0b	(+ 2.30753 (* x 0.27061))
0.1b	(* (+ 0.99229 (* x 0.04481)) x)
13.2b	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

rewrite75.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 87

Calls

4 calls:

12.0ms	(+ 0.99229 (* x 0.04481))
8.0ms	(+ 2.30753 (* x 0.27061))
19.0ms	(* (+ 0.99229 (* x 0.04481)) x)
31.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

series306.0ms

Counts

4 → 12

Calls

4 calls:

54.0ms	(+ 0.99229 (* x 0.04481))
58.0ms	(+ 2.30753 (* x 0.27061))
100.0ms	(* (+ 0.99229 (* x 0.04481)) x)
94.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

simplify3.7s

Counts

99 → 99

Iterations

Useful iterations: 3 (2.1s)

Iter	Nodes	Cost
0	161	1371
1	399	1170
2	1317	1034
3	4353	1033
done	5000	1033

prune431.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b	(- x (/ 1 (/ (fma x (fma 0.04481 x 0.99229) 1.0) (fma 0.27061 x 2.30753))))
0.1b	(fma x (fma 0.04481 x 0.99229) 1.0)
0.2b	(/ 1 (/ (fma x (fma 0.04481 x 0.99229) 1.0) (fma 0.27061 x 2.30753)))
13.2b	(/ (fma x (fma 0.04481 x 0.99229) 1.0) (fma 0.27061 x 2.30753))

rewrite108.0ms

Algorithm

rewrite-expression-head

Rules

288×	`times-frac`
218×	`add-sqr-sqrt`
209×	`*-un-lft-identity`
204×	`add-cube-cbrt`
132×	`prod-diff`
19×	`div-inv`
17×	`add-exp-log`
16×	`associate-/r*`
11×	`add-cbrt-cube`
8×	`div-exp`
6×	`associate-/l*` `add-log-exp`
5×	`pow1` `difference-of-squares`
4×	`cbrt-undiv` `expm1-log1p-u` `associate-/r/` `log1p-expm1-u`
3×	`fma-neg`
2×	`rec-exp` `frac-2neg` `1-exp` `clear-num` `distribute-lft-out--`
1×	`sub-neg` `flip3--` `pow-flip` `diff-log` `flip--` `fma-udef` `inv-pow`

Counts

4 → 273

Calls

4 calls:

41.0ms	(- x (/ 1 (/ (fma x (fma 0.04481 x 0.99229) 1.0) (fma 0.27061 x 2.30753))))
0.0ms	(fma x (fma 0.04481 x 0.99229) 1.0)
16.0ms	(/ 1 (/ (fma x (fma 0.04481 x 0.99229) 1.0) (fma 0.27061 x 2.30753)))
10.0ms	(/ (fma x (fma 0.04481 x 0.99229) 1.0) (fma 0.27061 x 2.30753))

series298.0ms

Counts

4 → 12

Calls

4 calls:

80.0ms	(- x (/ 1 (/ (fma x (fma 0.04481 x 0.99229) 1.0) (fma 0.27061 x 2.30753))))
49.0ms	(fma x (fma 0.04481 x 0.99229) 1.0)
86.0ms	(/ 1 (/ (fma x (fma 0.04481 x 0.99229) 1.0) (fma 0.27061 x 2.30753)))
83.0ms	(/ (fma x (fma 0.04481 x 0.99229) 1.0) (fma 0.27061 x 2.30753))

simplify1.9s

Counts

285 → 285

Iterations

Useful iterations: done (1.9s)

Iter	Nodes	Cost
0	534	17550
1	1282	15017
2	2434	11125
done	5000	9759

prune671.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize440.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ 1 (/ (* (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (fma 0.27061 x 2.30753)))
13.1b	(sqrt (fma x (fma 0.04481 x 0.99229) 1.0))
13.1b	(sqrt (fma x (fma 0.04481 x 0.99229) 1.0))
13.2b	(/ (* (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (fma 0.27061 x 2.30753))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

36×	`times-frac`
30×	`add-exp-log`
26×	`add-sqr-sqrt`
24×	`add-cube-cbrt` `*-un-lft-identity`
18×	`add-cbrt-cube`
14×	`div-exp`
10×	`associate-/r*`
7×	`pow1` `cbrt-undiv`
6×	`sqrt-prod` `div-inv`
4×	`expm1-log1p-u` `prod-exp` `log1p-expm1-u` `associate-/l*` `add-log-exp`
3×	`rec-exp` `1-exp`
2×	`rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `clear-num` `cbrt-unprod`
1×	`pow-flip` `associate-/r/` `inv-pow`

Counts

4 → 111

Calls

4 calls:

26.0ms	(/ 1 (/ (* (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (fma 0.27061 x 2.30753)))
2.0ms	(sqrt (fma x (fma 0.04481 x 0.99229) 1.0))
2.0ms	(sqrt (fma x (fma 0.04481 x 0.99229) 1.0))
15.0ms	(/ (* (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (fma 0.27061 x 2.30753))

series400.0ms

Counts

4 → 12

Calls

4 calls:

72.0ms	(/ 1 (/ (* (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (fma 0.27061 x 2.30753)))
128.0ms	(sqrt (fma x (fma 0.04481 x 0.99229) 1.0))
105.0ms	(sqrt (fma x (fma 0.04481 x 0.99229) 1.0))
94.0ms	(/ (* (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (fma 0.27061 x 2.30753))

simplify3.5s

Counts

123 → 123

Iterations

Useful iterations: done (3.5s)

Iter	Nodes	Cost
0	198	3225
1	437	2170
2	1161	1902
3	4151	1854
done	5000	1848

prune545.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize34.0ms

Local error

Found 4 expressions with local error:

0.1b	(fma x (fma 0.04481 x 0.99229) 1.0)
0.2b	(pow (* x 0.27061) 3)
0.3b	(* (* 0.27061 x) (- (* 0.27061 x) 2.30753))
19.3b	(/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (fma 2.30753 2.30753 (* (* 0.27061 x) (- (* 0.27061 x) 2.30753))) (fma x (fma 0.04481 x 0.99229) 1.0)))

rewrite165.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-exp-log` `add-cbrt-cube`
14×	`*-un-lft-identity`
12×	`pow1`
10×	`add-sqr-sqrt` `add-cube-cbrt`
6×	`prod-diff`
5×	`distribute-rgt-in` `distribute-lft-in` `times-frac` `prod-exp` `cbrt-unprod` `associate-/l*`
4×	`expm1-log1p-u` `pow-prod-down` `log1p-expm1-u` `add-log-exp`
3×	`pow-unpow` `associate-r`
2×	`cbrt-undiv` `sub-neg` `pow-pow` `associate-*r/` `div-exp` `pow-exp` `sum-cubes` `associate-/l/` `distribute-lft-out` `rem-cube-cbrt`
1×	`cube-mult` `pow-to-exp` `unpow-prod-down` `flip3--` `frac-2neg` `flip3-+` `unpow3` `cube-prod` `associate-l` `clear-num` `associate-/r` `-commutative` `flip--` `flip-+` `fma-udef` `div-inv` `sqr-pow`

Counts

4 → 95

Calls

4 calls:

1.0ms	(fma x (fma 0.04481 x 0.99229) 1.0)
12.0ms	(pow (* x 0.27061) 3)
79.0ms	(* (* 0.27061 x) (- (* 0.27061 x) 2.30753))
69.0ms	(/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (fma 2.30753 2.30753 (* (* 0.27061 x) (- (* 0.27061 x) 2.30753))) (fma x (fma 0.04481 x 0.99229) 1.0)))

series416.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(fma x (fma 0.04481 x 0.99229) 1.0)
59.0ms	(pow (* x 0.27061) 3)
140.0ms	(* (* 0.27061 x) (- (* 0.27061 x) 2.30753))
181.0ms	(/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (fma 2.30753 2.30753 (* (* 0.27061 x) (- (* 0.27061 x) 2.30753))) (fma x (fma 0.04481 x 0.99229) 1.0)))

simplify1.9s

Counts

107 → 107

Iterations

Useful iterations: 2 (564.0ms)

Iter	Nodes	Cost
0	211	2051
1	506	1927
2	2140	1631
done	5002	1631

prune513.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes30.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	13	16
1	15	16
done	15	16

end0.0ms

sample918.0ms

Algorithm

intervals

Results

754.0ms

8000×

body

valid