Details

sample40.0ms

Algorithm

intervals

Results

24.0ms

276×

body

valid

simplify39.5s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
139	4999
138	4987
137	4975
136	4963
135	4951
134	4939
133	4927
132	4915
131	4903
130	4891
129	4879
128	4867
127	4855
126	4843
125	4831
124	4819
123	4807
122	4795
121	4783
120	4771
119	4759
118	4747
117	4735
116	4723
115	4711
114	4699
113	4687
112	4675
111	4663
110	4651
109	4639
108	4627
107	4615
106	4603
105	4591
104	4579
103	4567
102	4555
101	4543
100	4531
99	4519
98	4507
97	4495
96	4483
95	4471
94	4459
93	4447
92	4435
91	4423
90	4411
89	4399
88	4387
87	4375
86	4363
85	4351
84	4339
83	4327
82	4315
81	4303
80	4291
79	4279
78	4267
77	4255
76	4243
75	4231
74	4219
73	4207
72	4195
71	4183
70	4171
69	4159
68	4147
67	4135
66	4123
65	4111
64	4099
63	4087
62	4075
61	4063
60	4051
59	4039
58	4027
57	4015
56	4003
55	3991
54	3979
53	3967
52	3955
51	3943
50	3931
49	3919
48	3907
47	3895
46	3883
45	3871
44	3859
43	3847
42	3835
41	3823
40	3811
39	3799
38	3787
37	3775
36	3763
35	3751
34	3739
33	3727
32	3715
31	3703
30	3691
29	3679
28	3667
27	3655
26	3643
25	3631
24	3619
23	3607
22	3595
21	3583
20	3571
19	3559
18	3546
17	3530
16	3476
15	3239
14	2589
13	1719
12	971
11	565
10	461
9	394
8	334
7	282
6	255
5	168
4	103
3	60
2	37
1	21
0	10

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.0b

localize24.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (* y (/ (- z t) (- z a))))
0.0b	(/ (- z t) (- z a))
1.9b	(* y (/ (- z t) (- z a)))

rewrite77.0ms

Algorithm

rewrite-expression-head

Rules

77×	`add-sqr-sqrt`
72×	`*-un-lft-identity`
51×	`times-frac`
31×	`associate-r`
28×	`add-cube-cbrt`
22×	`distribute-lft-out--` `difference-of-squares`
10×	`add-cbrt-cube` `add-exp-log`
5×	`pow1` `associate-/r` `associate-/l` `add-log-exp`
4×	`associate-/r/`
3×	`expm1-log1p-u` `fma-def` `flip3--` `associate-l` `insert-posit16` `log1p-expm1-u` `flip--`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `unswap-sqr` `associate-/l/`
1×	`+-commutative` `clear-num` `sum-log` `frac-2neg` `flip3-+` `div-sub` `pow-prod-down` `associate-r/` `-commutative` `flip-+`

Counts

3 → 125

Calls

3 calls:

6.0ms	(+ x (* y (/ (- z t) (- z a))))
21.0ms	(/ (- z t) (- z a))
48.0ms	(* y (/ (- z t) (- z a)))

series334.0ms

Counts

3 → 9

Calls

3 calls:

138.0ms	(+ x (* y (/ (- z t) (- z a))))
81.0ms	(/ (- z t) (- z a))
115.0ms	(* y (/ (- z t) (- z a)))

simplify1.5s

Counts

134 → 134

Iterations

Iter	Nodes
done	5003
2	1444
1	457
0	171

prune680.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- z t) (- z a))
1.0b	(fma y (/ (- z t) (- z a)) x)

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

38×	`add-sqr-sqrt` `*-un-lft-identity`
25×	`times-frac`
14×	`add-cube-cbrt`
12×	`distribute-lft-out--` `difference-of-squares`
5×	`associate-/r` `associate-/l`
4×	`add-cbrt-cube` `add-exp-log`
2×	`expm1-log1p-u` `pow1` `flip3--` `associate-/r/` `insert-posit16` `log1p-expm1-u` `flip--` `add-log-exp` `associate-/l/`
1×	`cbrt-undiv` `clear-num` `frac-2neg` `div-sub` `div-exp` `fma-udef` `div-inv`

Counts

2 → 66

Calls

2 calls:

21.0ms	(/ (- z t) (- z a))
0.0ms	(fma y (/ (- z t) (- z a)) x)

series202.0ms

Counts

2 → 6

Calls

2 calls:

91.0ms	(/ (- z t) (- z a))
111.0ms	(fma y (/ (- z t) (- z a)) x)

simplify1.8s

Counts

72 → 72

Iterations

Iter	Nodes
done	5005
3	2281
2	659
1	268
0	115

prune364.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize41.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (cbrt (/ (- z t) (- z a))) (cbrt (/ (- z t) (- z a))))
3.7b	(cbrt (/ (- z t) (- z a)))
3.7b	(cbrt (/ (- z t) (- z a)))
3.7b	(cbrt (/ (- z t) (- z a)))

rewrite126.0ms

Algorithm

rewrite-expression-head

Rules

333×	`*-un-lft-identity`
277×	`cbrt-prod`
273×	`add-sqr-sqrt`
229×	`times-frac`
106×	`distribute-lft-out--`
93×	`add-cube-cbrt`
78×	`difference-of-squares`
58×	`swap-sqr`
34×	`associate-r` `associate-l`
14×	`associate-/r/`
11×	`pow1`
9×	`pow1/3` `unswap-sqr`
7×	`cbrt-div` `flip3--` `div-inv` `flip--`
6×	`add-exp-log`
4×	`expm1-log1p-u` `add-cbrt-cube` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `frac-times` `pow-plus` `associate-l/` `prod-exp` `associate-r/` `*-commutative` `cbrt-unprod`

Counts

4 → 288

Calls

4 calls:

86.0ms	(* (cbrt (/ (- z t) (- z a))) (cbrt (/ (- z t) (- z a))))
5.0ms	(cbrt (/ (- z t) (- z a)))
6.0ms	(cbrt (/ (- z t) (- z a)))
11.0ms	(cbrt (/ (- z t) (- z a)))

series821.0ms

Counts

4 → 12

Calls

4 calls:

185.0ms	(* (cbrt (/ (- z t) (- z a))) (cbrt (/ (- z t) (- z a))))
217.0ms	(cbrt (/ (- z t) (- z a)))
226.0ms	(cbrt (/ (- z t) (- z a)))
193.0ms	(cbrt (/ (- z t) (- z a)))

simplify3.1s

Counts

300 → 300

Iterations

Iter	Nodes
done	5000
4	4307
3	1877
2	936
1	413
0	234

prune1.8s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize46.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (- z t) (+ z a))
0.1b	(/ (/ (- z t) (+ z a)) (- z a))
1.0b	(fma y (* (/ (/ (- z t) (+ z a)) (- z a)) (+ z a)) x)
9.7b	(* (/ (/ (- z t) (+ z a)) (- z a)) (+ z a))

rewrite145.0ms

Algorithm

rewrite-expression-head

Rules

508×	`*-un-lft-identity`
503×	`times-frac`
393×	`add-sqr-sqrt`
180×	`add-cube-cbrt`
136×	`associate-l`
102×	`distribute-lft-out--` `difference-of-squares`
62×	`distribute-lft-out`
31×	`associate-/l*`
28×	`associate-/r/`
20×	`add-cbrt-cube` `add-exp-log`
14×	`flip3-+` `flip-+` `div-inv`
9×	`associate-/r*`
7×	`cbrt-undiv` `div-exp`
6×	`pow1`
4×	`expm1-log1p-u` `associate-r` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`flip3--` `div-sub` `prod-exp` `cbrt-unprod` `flip--` `unswap-sqr` `associate-/l/`
2×	`frac-times` `clear-num` `frac-2neg` `associate-*r/`
1×	`distribute-rgt-in` `distribute-lft-in` `pow-prod-down` `associate-l/` `-commutative` `fma-udef`

Counts

4 → 410

Calls

4 calls:

16.0ms	(/ (- z t) (+ z a))
31.0ms	(/ (/ (- z t) (+ z a)) (- z a))
0.0ms	(fma y (* (/ (/ (- z t) (+ z a)) (- z a)) (+ z a)) x)
80.0ms	(* (/ (/ (- z t) (+ z a)) (- z a)) (+ z a))

series359.0ms

Counts

4 → 12

Calls

4 calls:

54.0ms	(/ (- z t) (+ z a))
91.0ms	(/ (/ (- z t) (+ z a)) (- z a))
134.0ms	(fma y (* (/ (/ (- z t) (+ z a)) (- z a)) (+ z a)) x)
80.0ms	(* (/ (/ (- z t) (+ z a)) (- z a)) (+ z a))

simplify1.6s

Counts

422 → 422

Iterations

Iter	Nodes
done	5001
1	1550
0	400

prune1.8s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

regimes363.0ms

Accuracy

0% (1.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Iter	Nodes
done	9
0	9

end0.0ms

sample1.2s

Algorithm

intervals

Results

773.0ms

8710×

body

valid