Details

sample36.0ms

Algorithm

intervals

Results

15.0ms

324×

body

valid

simplify5.2s

Counts

1 → 1

Iterations

Useful iterations: 1 (4.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	292	139
10	681	139
11	1597	139
12	2429	139
13	2655	139
14	2926	139
15	3141	139
16	3410	139
17	3623	139
18	3894	139
19	4109	139
20	4378	139
21	4591	139
22	4863	139
done	5001	139

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 1 expressions with local error:

0.0b	(* z (- 1.0 y))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt`
18×	`prod-diff`
17×	`*-un-lft-identity`
15×	`add-cube-cbrt`
11×	`distribute-rgt-in` `distribute-lft-in`
5×	`associate-r`
3×	`pow1` `add-cbrt-cube` `associate-l` `add-exp-log`
2×	`sub-neg` `associate-*r/`
1×	`expm1-log1p-u` `flip3--` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `log1p-expm1-u` `flip--` `distribute-lft-out--` `add-log-exp` `difference-of-squares` `unswap-sqr`

Counts

1 → 46

Calls

1 calls:

21.0ms

(* z (- 1.0 y))

series46.0ms

Counts

1 → 3

Calls

1 calls:

46.0ms

(* z (- 1.0 y))

simplify4.7s

Counts

49 → 49

Iterations

Useful iterations: 4 (2.3s)

Iter	Nodes	Cost
0	102	14042
1	220	12005
2	430	8441
3	1206	8361
4	3839	7401
done	5006	7401

prune151.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize18.0ms

Local error

Found 1 expressions with local error:

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

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
2×	`distribute-lft-neg-out`
1×	`add-sqr-sqrt` `expm1-log1p-u` `pow1` `+-commutative` `sum-log` `fma-def` `*-un-lft-identity` `flip3-+` `distribute-rgt-out` `add-cbrt-cube` `unsub-neg` `add-exp-log` `add-cube-cbrt` `flip-+` `log1p-expm1-u`

Counts

1 → 17

Calls

1 calls:

9.0ms

(+ (* 1.0 z) (* (- y) z))

series67.0ms

Counts

1 → 3

Calls

1 calls:

67.0ms

(+ (* 1.0 z) (* (- y) z))

simplify2.7s

Counts

20 → 20

Iterations

Useful iterations: 3 (642.0ms)

Iter	Nodes	Cost
0	33	4194
1	115	2798
2	449	2708
3	1687	2653
done	5000	2653

prune93.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes127.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	219
1	14	219
2	18	219
3	19	219
done	19	219

end0.0ms

sample802.0ms

Algorithm

intervals

Results

479.0ms

10131×

body

valid