Details

sample47.0ms

Algorithm

intervals

Results

23.0ms

256×

body

valid

simplify20.0s

Counts

1 → 1

Iterations

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

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 4 expressions with local error:

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

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

Counts

4 → 192

Calls

4 calls:

228.0ms	(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
11.0ms	(+ 2.30753 (* x 0.27061))
23.0ms	(* x (+ 0.99229 (* x 0.04481)))
39.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series337.0ms

Counts

4 → 12

Calls

4 calls:

105.0ms	(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
48.0ms	(+ 2.30753 (* x 0.27061))
105.0ms	(* x (+ 0.99229 (* x 0.04481)))
79.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

simplify1.9s

Counts

204 → 204

Iterations

Useful iterations: done (1.9s)

Iter	Nodes	Cost
0	366	7100
1	778	5859
2	2170	4824
done	5000	4422

prune556.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize30.0ms

Local error

Found 4 expressions with local error:

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

rewrite101.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`
2×	`distribute-lft-neg-out` `frac-2neg` `clear-num` `associate-/r/`
1×	`+-commutative` `flip3-+` `unsub-neg` `sum-log` `flip-+` `fma-udef`

Counts

4 → 170

Calls

4 calls:

66.0ms	(+ (/ 0.70711 (/ (fma x (fma 0.04481 x 0.99229) 1.0) (fma 0.27061 x 2.30753))) (* (- x) 0.70711))
1.0ms	(fma x (fma 0.04481 x 0.99229) 1.0)
17.0ms	(/ 0.70711 (/ (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))

series340.0ms

Counts

4 → 12

Calls

4 calls:

99.0ms	(+ (/ 0.70711 (/ (fma x (fma 0.04481 x 0.99229) 1.0) (fma 0.27061 x 2.30753))) (* (- x) 0.70711))
42.0ms	(fma x (fma 0.04481 x 0.99229) 1.0)
107.0ms	(/ 0.70711 (/ (fma x (fma 0.04481 x 0.99229) 1.0) (fma 0.27061 x 2.30753)))
91.0ms	(/ (fma x (fma 0.04481 x 0.99229) 1.0) (fma 0.27061 x 2.30753))

simplify1.3s

Counts

182 → 182

Iterations

Useful iterations: done (1.3s)

Iter	Nodes	Cost
0	240	3149
1	534	3025
2	1719	2813
done	5000	2794

prune1.0s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize35.0ms

Local error

Found 4 expressions with local error:

17.3b	(/ (* 0.70711 (* (+ x (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (- (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) x))) (+ (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
17.3b	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
17.3b	(/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))
17.3b	(/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))

rewrite393.0ms

Algorithm

rewrite-expression-head

Rules

34×	`*-un-lft-identity`
31×	`times-frac`
30×	`add-sqr-sqrt` `add-cube-cbrt`
19×	`add-exp-log` `add-cbrt-cube`
13×	`associate-/r*`
10×	`associate-r/` `associate-/l/` `associate-/l`
6×	`cbrt-undiv` `flip3-+` `div-exp` `flip-+`
4×	`pow1` `expm1-log1p-u` `frac-times` `frac-2neg` `clear-num` `associate-/r/` `log1p-expm1-u` `div-inv` `add-log-exp`
3×	`flip3--` `prod-exp` `flip--` `cbrt-unprod`
2×	`associate-*l/` `distribute-lft-out`

Counts

4 → 128

Calls

4 calls:

329.0ms	(/ (* 0.70711 (* (+ x (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (- (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) x))) (+ (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
44.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
5.0ms	(/ (fma 0.27061 x 2.30753) (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))

series638.0ms

Counts

4 → 12

Calls

4 calls:

348.0ms	(/ (* 0.70711 (* (+ x (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (- (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) x))) (+ (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
79.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
101.0ms	(/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))
110.0ms	(/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))

simplify1.9s

Counts

140 → 140

Iterations

Useful iterations: done (1.9s)

Iter	Nodes	Cost
0	251	4579
1	681	4113
2	2530	3605
done	5000	3330

prune939.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes16.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify10.0ms

Iterations

Useful iterations: 0 (0.0ms)

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

end0.0ms

sample944.0ms

Algorithm

intervals

Results

735.0ms

8000×

body

valid