Details

sample29.0ms

Algorithm

intervals

Results

13.0ms

336×

body

valid

simplify5.2s

Counts

1 → 1

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	8	164
1	14	139
2	24	139
3	40	139
4	61	139
5	78	139
6	98	139
7	124	139
8	167	139
9	299	139
10	756	139
11	1815	139
12	2756	139
13	3025	139
14	3276	139
15	3549	139
16	3795	139
17	4067	139
18	4315	139
19	4589	139
20	4835	139
done	5001	139

prune17.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 2 expressions with local error:

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

rewrite31.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 (* (- 1.0 x) z))
30.0ms	(* (- 1.0 x) z)

series96.0ms

Counts

2 → 6

Calls

2 calls:

58.0ms	(fma x y (* (- 1.0 x) z))
38.0ms	(* (- 1.0 x) z)

simplify2.3s

Counts

40 → 40

Iterations

Useful iterations: 2 (111.0ms)

Iter	Nodes	Cost
0	64	6907
1	136	6340
2	366	6140
3	1577	6140
done	5000	6140

prune196.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 3 expressions with local error:

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

rewrite77.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 (/ (* (- (* 1.0 1.0) (* x x)) z) (+ 1.0 x)))
33.0ms	(* (- (* 1.0 1.0) (* x x)) z)
42.0ms	(/ (* (- (* 1.0 1.0) (* x x)) z) (+ 1.0 x))

series219.0ms

Counts

3 → 9

Calls

3 calls:

75.0ms	(fma x y (/ (* (- (* 1.0 1.0) (* x x)) z) (+ 1.0 x)))
48.0ms	(* (- (* 1.0 1.0) (* x x)) z)
96.0ms	(/ (* (- (* 1.0 1.0) (* x x)) z) (+ 1.0 x))

simplify2.2s

Counts

71 → 71

Iterations

Useful iterations: done (2.2s)

Iter	Nodes	Cost
0	117	20116
1	327	17206
2	1231	16726
done	5001	15532

prune490.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize24.0ms

Local error

Found 2 expressions with local error:

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

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 31

Calls

2 calls:

1.0ms	(fma x y (* 1.0 (- z (* x z))))
9.0ms	(- z (* x z))

series106.0ms

Counts

2 → 6

Calls

2 calls:

54.0ms	(fma x y (* 1.0 (- z (* x z))))
52.0ms	(- z (* x z))

simplify2.1s

Counts

37 → 37

Iterations

Useful iterations: done (2.1s)

Iter	Nodes	Cost
0	58	7335
1	127	6899
2	402	6628
3	1604	6328
done	5002	5771

prune165.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b	(fma x y (/ 1 (/ (/ 1 (- 1.0 x)) z)))
0.0b	(/ 1 (- 1.0 x))
0.1b	(/ (/ 1 (- 1.0 x)) z)
0.2b	(/ 1 (/ (/ 1 (- 1.0 x)) z))

rewrite134.0ms

Algorithm

rewrite-expression-head

Rules

771×	`times-frac`
440×	`add-sqr-sqrt` `*-un-lft-identity`
336×	`add-cube-cbrt`
75×	`associate-/r*`
52×	`add-exp-log` `distribute-lft-out--` `difference-of-squares`
36×	`div-exp`
35×	`associate-/r/`
27×	`associate-/l*`
23×	`div-inv`
20×	`add-cbrt-cube`
17×	`flip3--` `flip--`
10×	`cbrt-undiv` `rec-exp` `1-exp`
6×	`pow1`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`clear-num` `frac-2neg`
2×	`pow-flip` `inv-pow`
1×	`fma-udef` `associate-/l/`

Counts

4 → 463

Calls

4 calls:

0.0ms	(fma x y (/ 1 (/ (/ 1 (- 1.0 x)) z)))
16.0ms	(/ 1 (- 1.0 x))
24.0ms	(/ (/ 1 (- 1.0 x)) z)
36.0ms	(/ 1 (/ (/ 1 (- 1.0 x)) z))

series149.0ms

Counts

4 → 12

Calls

4 calls:

39.0ms	(fma x y (/ 1 (/ (/ 1 (- 1.0 x)) z)))
27.0ms	(/ 1 (- 1.0 x))
41.0ms	(/ (/ 1 (- 1.0 x)) z)
42.0ms	(/ 1 (/ (/ 1 (- 1.0 x)) z))

simplify4.6s

Counts

475 → 475

Iterations

Useful iterations: done (4.6s)

Iter	Nodes	Cost
0	598	212023
1	1625	146293
2	3186	122738
done	5000	120854

prune1.7s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes171.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 (1.0ms)

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

end0.0ms

sample1.3s

Algorithm

intervals

Results

926.0ms

10180×

body

valid