Details

sample42.0ms

Algorithm

intervals

Results

26.0ms

330×

body

valid

simplify1.9s

Counts

1 → 1

Iterations

Iter	Nodes
done	2000
50	1965
49	1927
48	1880
47	1847
46	1800
45	1768
44	1721
43	1684
42	1642
41	1610
40	1557
39	1524
38	1482
37	1444
36	1397
35	1364
34	1317
33	1285
32	1238
31	1201
30	1159
29	1127
28	1074
27	1041
26	999
25	961
24	914
23	881
22	836
21	804
20	757
19	718
18	670
17	633
16	596
15	570
14	503
13	459
12	375
11	327
10	275
9	235
8	183
7	143
6	93
5	54
4	38
3	28
2	19
1	12
0	6

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- y x) z)
0.0b	(+ x (/ (- y x) z))

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

23×	`*-un-lft-identity`
21×	`add-sqr-sqrt`
15×	`times-frac`
13×	`add-cube-cbrt`
5×	`associate-/l*`
4×	`add-cbrt-cube` `add-exp-log` `distribute-lft-out--` `add-log-exp` `difference-of-squares`
3×	`associate-/r*` `fma-def`
2×	`expm1-log1p-u` `pow1` `div-sub` `insert-posit16` `log1p-expm1-u` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `clear-num` `associate-+r-` `sum-log` `frac-2neg` `flip3-+` `flip3--` `div-exp` `flip-+` `div-inv` `flip--` `distribute-lft-out`

Counts

2 → 60

Calls

2 calls:

25.0ms	(/ (- y x) z)
26.0ms	(+ x (/ (- y x) z))

series77.0ms

Counts

2 → 6

Calls

2 calls:

34.0ms	(/ (- y x) z)
43.0ms	(+ x (/ (- y x) z))

simplify465.0ms

Counts

66 → 66

Iterations

Iter	Nodes
done	2000
2	664
1	241
0	100

prune284.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	(+ x (/ 1 (/ z (- y x))))
0.0b	(/ z (- y x))
0.6b	(/ 1 (/ z (- y x)))

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

138×	`times-frac`
107×	`*-un-lft-identity`
104×	`add-sqr-sqrt`
72×	`add-cube-cbrt`
26×	`associate-/r*`
16×	`add-exp-log` `distribute-lft-out--` `difference-of-squares`
11×	`associate-/r/`
10×	`add-cbrt-cube`
8×	`div-exp`
7×	`div-inv`
6×	`associate-/l*`
5×	`flip3--` `flip--` `add-log-exp`
4×	`pow1` `cbrt-undiv`
3×	`expm1-log1p-u` `fma-def` `insert-posit16` `log1p-expm1-u`
2×	`rec-exp` `clear-num` `frac-2neg` `1-exp` `distribute-lft-out`
1×	`+-commutative` `sum-log` `flip3-+` `flip-+` `pow-flip` `inv-pow`

Counts

3 → 170

Calls

3 calls:

14.0ms	(+ x (/ 1 (/ z (- y x))))
10.0ms	(/ z (- y x))
28.0ms	(/ 1 (/ z (- y x)))

series119.0ms

Counts

3 → 9

Calls

3 calls:

25.0ms	(+ x (/ 1 (/ z (- y x))))
52.0ms	(/ z (- y x))
42.0ms	(/ 1 (/ z (- y x)))

simplify881.0ms

Counts

179 → 179

Iterations

Iter	Nodes
done	2001
2	1693
1	572
0	233

prune561.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1 (- y x))
0.0b	(+ x (/ 1 (* z (/ 1 (- y x)))))
0.3b	(* z (/ 1 (- y x)))
0.6b	(/ 1 (* z (/ 1 (- y x))))

rewrite72.0ms

Algorithm

rewrite-expression-head

Rules

52×	`add-exp-log`
48×	`add-sqr-sqrt`
45×	`*-un-lft-identity`
35×	`times-frac`
27×	`add-cube-cbrt`
21×	`associate-r`
20×	`add-cbrt-cube` `div-exp`
16×	`prod-exp`
10×	`pow1` `rec-exp` `1-exp`
7×	`distribute-lft-out--` `difference-of-squares`
6×	`cbrt-undiv` `associate-/r` `associate-/r/` `associate-/l` `add-log-exp`
4×	`expm1-log1p-u` `cbrt-unprod` `insert-posit16` `log1p-expm1-u` `div-inv`
3×	`fma-def` `associate-l` `pow-flip` `unswap-sqr`
2×	`clear-num` `frac-2neg` `flip3--` `pow-prod-down` `associate-*r/` `un-div-inv` `flip--` `distribute-lft-out` `inv-pow`
1×	`+-commutative` `sum-log` `flip3-+` `*-commutative` `flip-+`

Counts

4 → 153

Calls

4 calls:

12.0ms	(/ 1 (- y x))
16.0ms	(+ x (/ 1 (* z (/ 1 (- y x)))))
20.0ms	(* z (/ 1 (- y x)))
22.0ms	(/ 1 (* z (/ 1 (- y x))))

series137.0ms

Counts

4 → 12

Calls

4 calls:

43.0ms	(/ 1 (- y x))
23.0ms	(+ x (/ 1 (* z (/ 1 (- y x)))))
32.0ms	(* z (/ 1 (- y x)))
39.0ms	(/ 1 (* z (/ 1 (- y x))))

simplify1.0s

Counts

165 → 165

Iterations

Iter	Nodes
done	2000
2	1057
1	437
0	181

prune449.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize46.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (* (- y x) (/ 1 z)) (* (- y x) (/ 1 z)))
2.0b	(fma x x (* (* (- y x) (/ 1 z)) (- (* (- y x) (/ 1 z)) x)))
2.6b	(fma (* (- y x) (/ 1 z)) (* (* (- y x) (/ 1 z)) (* (- y x) (/ 1 z))) (* x (* x x)))
38.0b	(/ (fma (* (- y x) (/ 1 z)) (* (* (- y x) (/ 1 z)) (* (- y x) (/ 1 z))) (* x (* x x))) (fma x x (* (* (- y x) (/ 1 z)) (- (* (- y x) (/ 1 z)) x))))

rewrite86.0ms

Algorithm

rewrite-expression-head

Rules

106×	`add-exp-log`
65×	`prod-exp`
64×	`frac-times`
43×	`pow1`
42×	`add-cbrt-cube`
34×	`associate-*l/`
28×	`flip3--` `flip--`
21×	`div-exp` `cbrt-unprod`
20×	`associate-*r/`
17×	`pow-prod-down`
14×	`un-div-inv`
12×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
10×	`rec-exp` `1-exp`
9×	`times-frac`
7×	`cbrt-undiv`
4×	`expm1-log1p-u` `pow-sqr` `pow-prod-up` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`associate-/r` `associate-/l`
2×	`pow-plus` `fma-udef`
1×	`pow2` `clear-num` `frac-2neg` `swap-sqr` `associate-r` `associate-l` `*-commutative` `div-inv`

Counts

4 → 163

Calls

4 calls:

77.0ms	(* (* (- y x) (/ 1 z)) (* (- y x) (/ 1 z)))
0.0ms	(fma x x (* (* (- y x) (/ 1 z)) (- (* (- y x) (/ 1 z)) x)))
0.0ms	(fma (* (- y x) (/ 1 z)) (* (* (- y x) (/ 1 z)) (* (- y x) (/ 1 z))) (* x (* x x)))
4.0ms	(/ (fma (* (- y x) (/ 1 z)) (* (* (- y x) (/ 1 z)) (* (- y x) (/ 1 z))) (* x (* x x))) (fma x x (* (* (- y x) (/ 1 z)) (- (* (- y x) (/ 1 z)) x))))

series693.0ms

Counts

4 → 12

Calls

4 calls:

31.0ms	(* (* (- y x) (/ 1 z)) (* (- y x) (/ 1 z)))
115.0ms	(fma x x (* (* (- y x) (/ 1 z)) (- (* (- y x) (/ 1 z)) x)))
173.0ms	(fma (* (- y x) (/ 1 z)) (* (* (- y x) (/ 1 z)) (* (- y x) (/ 1 z))) (* x (* x x)))
373.0ms	(/ (fma (* (- y x) (/ 1 z)) (* (* (- y x) (/ 1 z)) (* (- y x) (/ 1 z))) (* x (* x x))) (fma x x (* (* (- y x) (/ 1 z)) (- (* (- y x) (/ 1 z)) x))))

simplify558.0ms

Counts

175 → 175

Iterations

Iter	Nodes
done	2000
1	755
0	259

prune500.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes152.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Iter	Nodes
done	7
1	7
0	6

end0.0ms

sample985.0ms

Algorithm

intervals

Results

648.0ms

10137×

body

valid