Details

sample22.0ms

Algorithm

intervals

Results

9.0ms

336×

body

valid

simplify7.8s

Counts

1 → 1

Iterations

Useful iterations: 1 (7.0ms)

Iter	Nodes	Cost
0	8	164
1	14	139
2	24	139
3	40	139
4	63	139
5	80	139
6	94	139
7	115	139
8	152	139
9	235	139
10	449	139
11	760	139
12	916	139
13	1005	139
14	1111	139
15	1317	139
16	1545	139
17	1710	139
18	1837	139
19	1983	139
20	2120	139
21	2266	139
22	2385	139
23	2522	139
24	2655	139
25	2799	139
26	2914	139
27	3045	139
28	3180	139
29	3317	139
30	3436	139
31	3573	139
32	3709	139
33	3846	139
34	3966	139
35	4103	139
36	4238	139
37	4375	139
38	4494	139
39	4631	139
40	4766	139
41	4910	139
done	5000	139

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b	(fma x y (* (- x 1.0) z))
0.0b	(* (- x 1.0) z)

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt`
6×	`*-un-lft-identity`
5×	`associate-l`
4×	`pow1` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt`
3×	`associate-r`
2×	`expm1-log1p-u` `associate-*l/` `log1p-expm1-u` `add-log-exp`
1×	`flip3--` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `fma-udef` `flip--` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

2 → 34

Calls

2 calls:

0.0ms	(fma x y (* (- x 1.0) z))
17.0ms	(* (- x 1.0) z)

series105.0ms

Counts

2 → 6

Calls

2 calls:

63.0ms	(fma x y (* (- x 1.0) z))
41.0ms	(* (- x 1.0) z)

simplify2.2s

Counts

40 → 40

Iterations

Useful iterations: 2 (105.0ms)

Iter	Nodes	Cost
0	64	6907
1	137	6295
2	366	6140
3	1523	6140
done	5003	6140

prune234.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 3 expressions with local error:

0.0b	(fma x y (/ (* (- (* x x) (* 1.0 1.0)) z) (+ x 1.0)))
4.3b	(* (- (* x x) (* 1.0 1.0)) z)
4.6b	(/ (* (- (* x x) (* 1.0 1.0)) z) (+ x 1.0))

rewrite63.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 62

Calls

3 calls:

0.0ms	(fma x y (/ (* (- (* x x) (* 1.0 1.0)) z) (+ x 1.0)))
30.0ms	(* (- (* x x) (* 1.0 1.0)) z)
30.0ms	(/ (* (- (* x x) (* 1.0 1.0)) z) (+ x 1.0))

series228.0ms

Counts

3 → 9

Calls

3 calls:

77.0ms	(fma x y (/ (* (- (* x x) (* 1.0 1.0)) z) (+ x 1.0)))
59.0ms	(* (- (* x x) (* 1.0 1.0)) z)
92.0ms	(/ (* (- (* x x) (* 1.0 1.0)) z) (+ x 1.0))

simplify2.2s

Counts

71 → 71

Iterations

Useful iterations: done (2.1s)

Iter	Nodes	Cost
0	118	20116
1	330	17146
2	1258	16686
done	5002	15532

prune419.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize13.0ms

Local error

Found 2 expressions with local error:

0.0b	(fma x y (* 1.0 (- (* x z) z)))
0.0b	(- (* x z) z)

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

4×	`*-un-lft-identity` `add-log-exp`
3×	`add-sqr-sqrt` `prod-diff` `add-cube-cbrt`
2×	`expm1-log1p-u` `pow1` `add-cbrt-cube` `add-exp-log` `log1p-expm1-u`
1×	`sub-neg` `flip3--` `distribute-rgt-out--` `fma-neg` `diff-log` `fma-udef` `flip--`

Counts

2 → 29

Calls

2 calls:

0.0ms	(fma x y (* 1.0 (- (* x z) z)))
14.0ms	(- (* x z) z)

series105.0ms

Counts

2 → 6

Calls

2 calls:

65.0ms	(fma x y (* 1.0 (- (* x z) z)))
40.0ms	(- (* x z) z)

simplify1.9s

Counts

35 → 35

Iterations

Useful iterations: done (1.9s)

Iter	Nodes	Cost
0	65	7206
1	154	6409
2	374	5866
3	1266	5686
done	5000	5661

prune153.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize10.0ms

Local error

Found 1 expressions with local error:

0.0b	(* x (+ (* 1.0 z) y))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

5×	`add-sqr-sqrt`
3×	`pow1` `-un-lft-identity` `add-cbrt-cube` `associate-r` `associate-l*` `add-exp-log` `add-cube-cbrt`
2×	`associate-*r/`
1×	`distribute-rgt-in` `expm1-log1p-u` `distribute-lft-in` `flip3-+` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip-+` `log1p-expm1-u` `add-log-exp` `unswap-sqr`

Counts

1 → 24

Calls

1 calls:

38.0ms

(* x (+ (* 1.0 z) y))

series42.0ms

Counts

1 → 3

Calls

1 calls:

42.0ms

(* x (+ (* 1.0 z) y))

simplify3.7s

Counts

27 → 27

Iterations

Useful iterations: 3 (1.2s)

Iter	Nodes	Cost
0	53	5289
1	165	4367
2	597	4182
3	2745	4142
done	5008	4142

prune142.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes149.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	179
1	10	179
done	10	179

end0.0ms

sample911.0ms

Algorithm

intervals

Results

525.0ms

10180×

body

valid