Details

sample39.0ms

Algorithm

intervals

Results

20.0ms

256×

body

valid

simplify3.7s

Counts

1 → 1

Iterations

Useful iterations: 2 (20.0ms)

Iter	Nodes	Cost
0	16	367
1	31	367
2	60	292
3	94	292
4	126	292
5	140	292
6	156	292
7	201	292
8	296	292
9	359	292
10	458	292
11	659	292
12	1018	292
13	4505	292
done	5000	292

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

rewrite241.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×	`flip3-+` `add-cbrt-cube` `add-exp-log` `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×	`associate-/r` `fma-def` `associate-/l`
2×	`sub-neg` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `difference-of-squares` `unswap-sqr` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `clear-num` `sum-log` `frac-2neg` `flip3--` `div-exp` `flip--` `distribute-lft-out--`

Counts

4 → 192

Calls

4 calls:

4.0ms	(+ 2.30753 (* x 0.27061))
189.0ms	(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
12.0ms	(* x (+ 0.99229 (* x 0.04481)))
25.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series393.0ms

Counts

4 → 12

Calls

4 calls:

50.0ms	(+ 2.30753 (* x 0.27061))
149.0ms	(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
107.0ms	(* x (+ 0.99229 (* x 0.04481)))
88.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

simplify2.4s

Counts

204 → 204

Iterations

Useful iterations: 2 (1.2s)

Iter	Nodes	Cost
0	366	119090
1	919	103845
2	3724	76114
done	5000	76114

prune852.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize46.0ms

Local error

Found 4 expressions with local error:

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

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 77

Calls

4 calls:

25.0ms	(+ (/ (* 0.70711 (fma x 0.27061 2.30753)) (fma x (fma x 0.04481 0.99229) 1.0)) (* (- x) 0.70711))
0.0ms	(fma x (fma x 0.04481 0.99229) 1.0)
11.0ms	(* 0.70711 (fma x 0.27061 2.30753))
15.0ms	(/ (* 0.70711 (fma x 0.27061 2.30753)) (fma x (fma x 0.04481 0.99229) 1.0))

series320.0ms

Counts

4 → 12

Calls

4 calls:

93.0ms	(+ (/ (* 0.70711 (fma x 0.27061 2.30753)) (fma x (fma x 0.04481 0.99229) 1.0)) (* (- x) 0.70711))
48.0ms	(fma x (fma x 0.04481 0.99229) 1.0)
76.0ms	(* 0.70711 (fma x 0.27061 2.30753))
103.0ms	(/ (* 0.70711 (fma x 0.27061 2.30753)) (fma x (fma x 0.04481 0.99229) 1.0))

simplify2.2s

Counts

89 → 89

Iterations

Useful iterations: done (2.2s)

Iter	Nodes	Cost
0	141	24302
1	352	21247
2	1533	20068
done	5002	20018

prune549.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize66.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (sqrt (fma x (fma x 0.04481 0.99229) 1.0)) (sqrt (fma x (fma x 0.04481 0.99229) 1.0)))
13.8b	(sqrt (fma x (fma x 0.04481 0.99229) 1.0))
13.8b	(sqrt (fma x (fma x 0.04481 0.99229) 1.0))
13.9b	(/ (* 0.70711 (fma x 0.27061 2.30753)) (* (sqrt (fma x (fma x 0.04481 0.99229) 1.0)) (sqrt (fma x (fma x 0.04481 0.99229) 1.0))))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt`
24×	`sqrt-prod`
21×	`pow1`
18×	`add-cbrt-cube` `add-exp-log`
14×	`*-un-lft-identity` `add-cube-cbrt`
10×	`sqrt-pow1` `pow1/2`
8×	`swap-sqr`
6×	`associate-r` `associate-l`
5×	`prod-exp` `pow-prod-up` `cbrt-unprod`
4×	`expm1-log1p-u` `cbrt-undiv` `div-exp` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
3×	`pow-prod-down` `pow-sqr`
2×	`rem-sqrt-square`
1×	`pow2` `clear-num` `associate-/r` `rem-square-sqrt` `frac-2neg` `times-frac` `pow-plus` `sqrt-unprod` `-commutative` `div-inv` `associate-/l*`

Counts

4 → 104

Calls

4 calls:

11.0ms	(* (sqrt (fma x (fma x 0.04481 0.99229) 1.0)) (sqrt (fma x (fma x 0.04481 0.99229) 1.0)))
1.0ms	(sqrt (fma x (fma x 0.04481 0.99229) 1.0))
1.0ms	(sqrt (fma x (fma x 0.04481 0.99229) 1.0))
15.0ms	(/ (* 0.70711 (fma x 0.27061 2.30753)) (* (sqrt (fma x (fma x 0.04481 0.99229) 1.0)) (sqrt (fma x (fma x 0.04481 0.99229) 1.0))))

series368.0ms

Counts

4 → 12

Calls

4 calls:

39.0ms	(* (sqrt (fma x (fma x 0.04481 0.99229) 1.0)) (sqrt (fma x (fma x 0.04481 0.99229) 1.0)))
114.0ms	(sqrt (fma x (fma x 0.04481 0.99229) 1.0))
99.0ms	(sqrt (fma x (fma x 0.04481 0.99229) 1.0))
115.0ms	(/ (* 0.70711 (fma x 0.27061 2.30753)) (* (sqrt (fma x (fma x 0.04481 0.99229) 1.0)) (sqrt (fma x (fma x 0.04481 0.99229) 1.0))))

simplify1.7s

Counts

116 → 116

Iterations

Useful iterations: done (1.7s)

Iter	Nodes	Cost
0	155	36144
1	386	27221
2	1812	26025
done	5000	25935

prune632.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize76.0ms

Local error

Found 4 expressions with local error:

0.1b	(* x (+ 0.99229 (* x 0.04481)))
0.6b	(* (sqrt (* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))) (sqrt (* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))))
13.9b	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
13.9b	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

rewrite280.0ms

Algorithm

rewrite-expression-head

Rules

55×	`pow1`
30×	`add-sqr-sqrt`
28×	`sqrt-pow1`
26×	`*-un-lft-identity` `add-cube-cbrt`
21×	`pow-prod-down`
18×	`times-frac`
16×	`associate-*r/`
12×	`add-cbrt-cube` `sqrt-div` `add-exp-log`
10×	`pow1/2` `pow-prod-up`
7×	`associate-r` `associate-l`
6×	`associate-/r` `flip3--` `pow-sqr` `flip--` `associate-/l`
5×	`flip3-+` `flip-+`
4×	`expm1-log1p-u` `frac-times` `swap-sqr` `associate-/r/` `sqrt-prod` `log1p-expm1-u` `add-log-exp` `associate-/l/`
2×	`cbrt-undiv` `clear-num` `frac-2neg` `div-exp` `associate-l/` `prod-exp` `-commutative` `cbrt-unprod` `div-inv` `unswap-sqr`
1×	`pow2` `distribute-rgt-in` `rem-square-sqrt` `distribute-lft-in` `pow-plus` `sqrt-unprod`

Counts

4 → 149

Calls

4 calls:

13.0ms	(* x (+ 0.99229 (* x 0.04481)))
214.0ms	(* (sqrt (* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))) (sqrt (* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))))
30.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
19.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series462.0ms

Counts

4 → 12

Calls

4 calls:

118.0ms	(* x (+ 0.99229 (* x 0.04481)))
188.0ms	(* (sqrt (* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))) (sqrt (* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))))
70.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
86.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

simplify2.8s

Counts

161 → 161

Iterations

Useful iterations: done (2.7s)

Iter	Nodes	Cost
0	225	67900
1	599	57745
2	2790	47611
done	5003	47571

prune977.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes134.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify12.0ms

Iterations

Useful iterations: 0 (1.0ms)

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

end0.0ms

sample931.0ms

Algorithm

intervals

Results

766.0ms

8000×

body

valid