Details

sample481.0ms

Algorithm

intervals

Results

298.0ms	126×	body	1280	valid
79.0ms	64×	body	640	valid
31.0ms	256×	pre	80	true
29.0ms	26×	body	320	valid
10.0ms	38×	body	80	valid
1.0ms	2×	body	160	valid

simplify2.6s

Counts

1 → 1

Iterations

Iter	Nodes
done	2000
113	2000
112	1986
111	1968
110	1953
109	1937
108	1917
107	1903
106	1888
105	1870
104	1854
103	1840
102	1823
101	1807
100	1791
99	1771
98	1756
97	1740
96	1720
95	1706
94	1691
93	1673
92	1657
91	1643
90	1626
89	1610
88	1594
87	1574
86	1559
85	1543
84	1521
83	1507
82	1492
81	1474
80	1458
79	1444
78	1427
77	1411
76	1395
75	1377
74	1362
73	1346
72	1324
71	1310
70	1295
69	1277
68	1261
67	1247
66	1230
65	1214
64	1198
63	1178
62	1163
61	1147
60	1127
59	1113
58	1098
57	1080
56	1064
55	1050
54	1033
53	1017
52	1001
51	983
50	968
49	952
48	932
47	918
46	903
45	885
44	869
43	855
42	838
41	822
40	806
39	786
38	771
37	755
36	733
35	719
34	704
33	686
32	670
31	656
30	639
29	623
28	607
27	587
26	572
25	556
24	534
23	520
22	505
21	487
20	471
19	457
18	440
17	424
16	408
15	386
14	370
13	360
12	330
11	270
10	178
9	126
8	93
7	78
6	58
5	46
4	35
3	29
2	22
1	15
0	9

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.7b

localize26.0ms

Local error

Found 3 expressions with local error:

0.1b	(+ x (- (tan (+ y z)) (tan a)))
0.2b	(- (tan (+ y z)) (tan a))
3.3b	(tan (+ y z))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

24×	`*-un-lft-identity`
19×	`add-sqr-sqrt`
18×	`prod-diff`
17×	`add-cube-cbrt`
11×	`associate-+r+`
10×	`add-log-exp`
4×	`tan-quot`
3×	`expm1-log1p-u` `pow1` `fma-def` `add-cbrt-cube` `fma-neg` `add-exp-log` `insert-posit16` `log1p-expm1-u`
2×	`tan-sum` `sum-log` `sub-neg` `diff-log` `frac-sub` `distribute-lft-out` `distribute-lft-out--`
1×	`+-commutative` `associate-+r-` `flip3-+` `flip3--` `flip-+` `flip--` `difference-of-squares`

Counts

3 → 75

Calls

3 calls:

21.0ms	(+ x (- (tan (+ y z)) (tan a)))
16.0ms	(- (tan (+ y z)) (tan a))
12.0ms	(tan (+ y z))

series515.0ms

Counts

3 → 9

Calls

3 calls:

215.0ms	(+ x (- (tan (+ y z)) (tan a)))
201.0ms	(- (tan (+ y z)) (tan a))
99.0ms	(tan (+ y z))

simplify1.2s

Counts

84 → 84

Iterations

Iter	Nodes
done	2004
3	2004
2	651
1	286
0	131

prune518.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.1b

localize43.0ms

Local error

Found 4 expressions with local error:

0.1b	(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
0.1b	(+ (tan y) (tan z))
0.2b	(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
0.2b	(* (tan y) (tan z))

rewrite296.0ms

Algorithm

rewrite-expression-head

Rules

151×	`*-un-lft-identity`
108×	`prod-diff`
107×	`add-sqr-sqrt`
100×	`add-cube-cbrt`
85×	`times-frac`
56×	`associate-+r+`
24×	`distribute-lft-out`
18×	`fma-neg`
14×	`associate-/r/`
13×	`add-log-exp`
8×	`flip3--` `flip--`
7×	`tan-quot` `div-inv`
6×	`pow1` `fma-def` `add-cbrt-cube` `add-exp-log`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u`
3×	`sum-log` `associate-r` `associate-l`
2×	`+-commutative` `sub-neg` `flip3-+` `diff-log` `flip-+` `distribute-lft-out--` `difference-of-squares`
1×	`frac-times` `associate-+r-` `pow-prod-down` `associate-l/` `frac-add` `prod-exp` `associate-r/` `*-commutative` `frac-sub` `cbrt-unprod` `unswap-sqr`

Counts

4 → 211

Calls

4 calls:

148.0ms	(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
8.0ms	(+ (tan y) (tan z))
106.0ms	(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
30.0ms	(* (tan y) (tan z))

series1.4s

Counts

4 → 12

Calls

4 calls:

565.0ms	(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
145.0ms	(+ (tan y) (tan z))
585.0ms	(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
127.0ms	(* (tan y) (tan z))

simplify1.7s

Counts

223 → 223

Iterations

Iter	Nodes
done	2001
3	2001
2	1804
1	695
0	301

prune1.3s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize46.0ms

Local error

Found 4 expressions with local error:

0.1b	(exp (* (tan y) (tan z)))
0.2b	(- (/ (+ (tan y) (tan z)) (- 1 (log (exp (* (tan y) (tan z)))))) (tan a))
0.2b	(* (tan y) (tan z))
2.8b	(log (exp (* (tan y) (tan z))))

rewrite171.0ms

Algorithm

rewrite-expression-head

Rules

211×	`*-un-lft-identity`
144×	`add-sqr-sqrt`
113×	`times-frac`
102×	`prod-diff`
89×	`add-cube-cbrt`
34×	`fma-neg` `difference-of-squares`
33×	`distribute-lft-out--`
28×	`distribute-lft-out`
23×	`pow1`
19×	`log-pow`
9×	`add-log-exp`
8×	`associate-/r/`
6×	`add-cbrt-cube` `add-exp-log`
5×	`flip3--` `tan-quot` `flip--`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `div-inv`
3×	`log-prod` `associate-r` `associate-l`
2×	`exp-prod` `exp-to-pow`
1×	`frac-times` `sub-neg` `diff-log` `rem-log-exp` `pow-prod-down` `associate-l/` `prod-exp` `associate-r/` `*-commutative` `frac-sub` `cbrt-unprod` `unswap-sqr` `rem-exp-log`

Counts

4 → 209

Calls

4 calls:

17.0ms	(exp (* (tan y) (tan z)))
115.0ms	(- (/ (+ (tan y) (tan z)) (- 1 (log (exp (* (tan y) (tan z)))))) (tan a))
29.0ms	(* (tan y) (tan z))
5.0ms	(log (exp (* (tan y) (tan z))))

series1.0s

Counts

4 → 12

Calls

4 calls:

171.0ms	(exp (* (tan y) (tan z)))
582.0ms	(- (/ (+ (tan y) (tan z)) (- 1 (log (exp (* (tan y) (tan z)))))) (tan a))
146.0ms	(* (tan y) (tan z))
141.0ms	(log (exp (* (tan y) (tan z))))

simplify1.2s

Counts

221 → 221

Iterations

Iter	Nodes
done	2007
3	2007
2	1302
1	560
0	266

prune910.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize82.0ms

Local error

Found 4 expressions with local error:

0.1b	(+ (tan y) (tan z))
0.2b	(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (sin z) (sin y)) (* (cos y) (cos z))))) (tan a))
0.2b	(* (sin z) (sin y))
0.3b	(/ (* (sin z) (sin y)) (* (cos y) (cos z)))

rewrite618.0ms

Algorithm

rewrite-expression-head

Rules

181×	`*-un-lft-identity`
136×	`add-sqr-sqrt`
98×	`times-frac`
90×	`prod-diff`
81×	`add-cube-cbrt`
34×	`difference-of-squares`
30×	`fma-neg`
25×	`distribute-lft-out`
18×	`add-cbrt-cube` `add-exp-log`
17×	`distribute-lft-out--`
9×	`associate-/r/`
8×	`add-log-exp`
6×	`pow1`
5×	`flip3--` `prod-exp` `cbrt-unprod` `div-inv` `flip--`
4×	`expm1-log1p-u` `cbrt-undiv` `div-exp` `insert-posit16` `log1p-expm1-u`
3×	`fma-def` `associate-r` `associate-l` `tan-quot`
2×	`sin-mult`
1×	`+-commutative` `clear-num` `associate-/r` `sum-log` `sub-neg` `frac-2neg` `flip3-+` `diff-log` `pow-prod-down` `frac-add` `cos-mult` `-commutative` `frac-sub` `flip-+` `associate-/l*` `unswap-sqr` `associate-/l/`

Counts

4 → 206

Calls

4 calls:

11.0ms	(+ (tan y) (tan z))
564.0ms	(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (sin z) (sin y)) (* (cos y) (cos z))))) (tan a))
12.0ms	(* (sin z) (sin y))
26.0ms	(/ (* (sin z) (sin y)) (* (cos y) (cos z)))

series746.0ms

Counts

4 → 12

Calls

4 calls:

111.0ms	(+ (tan y) (tan z))
460.0ms	(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (sin z) (sin y)) (* (cos y) (cos z))))) (tan a))
56.0ms	(* (sin z) (sin y))
118.0ms	(/ (* (sin z) (sin y)) (* (cos y) (cos z)))

simplify930.0ms

Counts

218 → 218

Iterations

Iter	Nodes
done	2005
2	2005
1	723
0	309

prune1.1s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

regimes383.0ms

Accuracy

0% (0.1b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 0.2b

bsearch0.0ms

simplify6.0ms

Iterations

Iter	Nodes
done	31
1	31
0	24

end0.0ms

sample12.2s

Algorithm

intervals

Results

7.0s	3893×	body	1280	valid
2.3s	2022×	body	640	valid
1.1s	8000×	pre	80	true
904.0ms	692×	body	320	valid
276.0ms	1135×	body	80	valid
135.0ms	258×	body	160	valid