Details

sample18.0ms

Algorithm

intervals

Results

9.0ms

256×

body

valid

simplify13.1s

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	1336	16
14	1598	16
15	1771	16
16	2348	16
17	3321	16
18	4386	16
done	5000	16

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

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

rewrite156.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:

42.0ms	(- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)
85.0ms	(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
7.0ms	(* x (+ 0.99229 (* x 0.04481)))
9.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series313.0ms

Counts

4 → 12

Calls

4 calls:

89.0ms	(- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)
99.0ms	(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
65.0ms	(* x (+ 0.99229 (* x 0.04481)))
60.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

simplify873.0ms

Counts

265 → 265

Iterations

Useful iterations: done (862.0ms)

Iter	Nodes	Cost
0	370	9871
1	766	8434
2	2128	6616
done	5001	6463

prune479.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 171

Calls

4 calls:

32.0ms	(+ (/ (fma 0.27061 x 2.30753) (/ (fma x (fma 0.04481 x 0.99229) 1.0) 0.70711)) (* (- x) 0.70711))
2.0ms	(/ (fma x (fma 0.04481 x 0.99229) 1.0) 0.70711)
0.0ms	(fma x (fma 0.04481 x 0.99229) 1.0)
5.0ms	(/ (fma 0.27061 x 2.30753) (/ (fma x (fma 0.04481 x 0.99229) 1.0) 0.70711))

series410.0ms

Counts

4 → 12

Calls

4 calls:

264.0ms	(+ (/ (fma 0.27061 x 2.30753) (/ (fma x (fma 0.04481 x 0.99229) 1.0) 0.70711)) (* (- x) 0.70711))
42.0ms	(/ (fma x (fma 0.04481 x 0.99229) 1.0) 0.70711)
26.0ms	(fma x (fma 0.04481 x 0.99229) 1.0)
78.0ms	(/ (fma 0.27061 x 2.30753) (/ (fma x (fma 0.04481 x 0.99229) 1.0) 0.70711))

simplify776.0ms

Counts

183 → 183

Iterations

Useful iterations: done (771.0ms)

Iter	Nodes	Cost
0	234	3047
1	537	2917
2	1716	2697
done	5000	2694

prune594.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b	(fma x (fma 0.04481 x 0.99229) 1.0)
1.4b	(expm1 (log1p (/ (fma x (fma 0.04481 x 0.99229) 1.0) 0.70711)))
14.8b	(/ (fma 0.27061 x 2.30753) (expm1 (log1p (/ (fma x (fma 0.04481 x 0.99229) 1.0) 0.70711))))
15.3b	(log1p (/ (fma x (fma 0.04481 x 0.99229) 1.0) 0.70711))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 61

Calls

4 calls:

0.0ms	(fma x (fma 0.04481 x 0.99229) 1.0)
0.0ms	(expm1 (log1p (/ (fma x (fma 0.04481 x 0.99229) 1.0) 0.70711)))
2.0ms	(/ (fma 0.27061 x 2.30753) (expm1 (log1p (/ (fma x (fma 0.04481 x 0.99229) 1.0) 0.70711))))
0.0ms	(log1p (/ (fma x (fma 0.04481 x 0.99229) 1.0) 0.70711))

series513.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(fma x (fma 0.04481 x 0.99229) 1.0)
170.0ms	(expm1 (log1p (/ (fma x (fma 0.04481 x 0.99229) 1.0) 0.70711)))
205.0ms	(/ (fma 0.27061 x 2.30753) (expm1 (log1p (/ (fma x (fma 0.04481 x 0.99229) 1.0) 0.70711))))
105.0ms	(log1p (/ (fma x (fma 0.04481 x 0.99229) 1.0) 0.70711))

simplify515.0ms

Counts

73 → 73

Iterations

Useful iterations: 2 (184.0ms)

Iter	Nodes	Cost
0	226	1762
1	542	1575
2	1825	1399
done	5001	1399

prune268.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.8b	(* (cbrt (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))))
14.8b	(/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))
14.8b	(/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))
14.8b	(/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

84×	`add-sqr-sqrt`
69×	`times-frac`
64×	`cbrt-prod`
60×	`add-cube-cbrt` `*-un-lft-identity`
16×	`swap-sqr` `associate-r` `associate-l`
12×	`add-exp-log`
11×	`pow1`
10×	`add-cbrt-cube`
9×	`associate-/r` `associate-/l` `unswap-sqr`
7×	`div-inv`
6×	`pow1/3`
4×	`expm1-log1p-u` `cbrt-div` `log1p-expm1-u` `add-log-exp`
3×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `frac-times` `pow-plus` `associate-r/` `associate-l/` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 167

Calls

4 calls:

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

series410.0ms

Counts

4 → 12

Calls

4 calls:

211.0ms	(* (cbrt (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))))
68.0ms	(/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))
69.0ms	(/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))
63.0ms	(/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))

simplify1.7s

Counts

179 → 179

Iterations

Useful iterations: 3 (919.0ms)

Iter	Nodes	Cost
0	229	4993
1	445	4778
2	1279	4492
3	4267	4154
done	5000	4154

prune622.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes58.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	19
1	19	19
2	22	19
3	23	19
done	23	19

end0.0ms

sample355.0ms

Algorithm

intervals

Results

268.0ms

8000×

body

valid