Details

sample1.2s

Algorithm

intervals

Results

916.0ms	264×	body	10240	exit
162.0ms	503×	body	80	nan
65.0ms	256×	body	80	valid

simplify8.0ms

Counts

1 → 1

Iterations

Iter	Nodes
2	22
1	22
0	18

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.7b

localize51.0ms

Local error

Found 4 expressions with local error:

0.3b	(/ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (log base) (log base)))
0.4b	(* (log (sqrt (+ (* re re) (* im im)))) (log base))
0.6b	(* (log base) (log base))
30.2b	(sqrt (+ (* re re) (* im im)))

rewrite95.0ms

Algorithm

rewrite-expression-head

Rules

23×	`pow1`
20×	`add-sqr-sqrt` `add-cbrt-cube` `add-exp-log`
17×	`*-un-lft-identity`
15×	`add-cube-cbrt`
12×	`log-prod`
10×	`associate-l` `log-pow`
8×	`associate-r`
6×	`distribute-rgt-in` `distribute-lft-in` `swap-sqr` `prod-exp` `cbrt-unprod`
4×	`cbrt-undiv` `div-exp` `insert-posit16` `add-log-exp`
3×	`sqrt-prod`
2×	`sqrt-pow1` `pow1/2` `sqrt-div` `pow-prod-down` `*-commutative` `unswap-sqr`
1×	`pow2` `rem-sqrt-square` `clear-num` `associate-/r` `frac-2neg` `flip3-+` `times-frac` `pow-plus` `pow-sqr` `pow-prod-up` `flip-+` `div-inv` `associate-/l`

Counts

4 → 104

Calls

4 calls:

26.0ms	(/ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (log base) (log base)))
23.0ms	(* (log (sqrt (+ (* re re) (* im im)))) (log base))
17.0ms	(* (log base) (log base))
28.0ms	(sqrt (+ (* re re) (* im im)))

series587.0ms

Counts

4 → 12

Calls

4 calls:

170.0ms	(/ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (log base) (log base)))
135.0ms	(* (log (sqrt (+ (* re re) (* im im)))) (log base))
231.0ms	(* (log base) (log base))
50.0ms	(sqrt (+ (* re re) (* im im)))

simplify10.0s

Counts

116 → 116

Iterations

Iter	Nodes
3	13079
2	1699
1	417
0	162

prune1.6s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 6.7b

localize36.0ms

Local error

Found 2 expressions with local error:

0.2b	(log (/ -1 re))
0.4b	(/ (log (/ -1 re)) (+ 0 (log base)))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

35×	`*-un-lft-identity`
29×	`times-frac`
20×	`add-sqr-sqrt` `add-cube-cbrt`
14×	`pow1`
13×	`log-prod`
12×	`log-pow`
10×	`distribute-lft-out`
7×	`add-exp-log`
5×	`associate-/r*`
4×	`add-cbrt-cube` `associate-/l*`
2×	`log-div` `div-exp` `rem-log-exp` `associate-/r/` `insert-posit16` `div-inv` `add-log-exp`
1×	`cbrt-undiv` `clear-num` `frac-2neg` `flip3-+` `div-sub` `flip-+`

Counts

2 → 70

Calls

2 calls:

3.0ms	(log (/ -1 re))
24.0ms	(/ (log (/ -1 re)) (+ 0 (log base)))

series338.0ms

Counts

2 → 6

Calls

2 calls:

218.0ms	(log (/ -1 re))
120.0ms	(/ (log (/ -1 re)) (+ 0 (log base)))

simplify2.0s

Counts

76 → 76

Iterations

Iter	Nodes
4	4661
3	1448
2	570
1	249
0	128

prune864.0ms

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 6.6b

localize42.0ms

Local error

Found 4 expressions with local error:

0.3b	(/ (/ (log (/ -1 re)) (* (log base) (log base))) (log base))
0.4b	(* (/ (/ (log (/ -1 re)) (* (log base) (log base))) (log base)) (+ (* 0 0) (- (* (log base) (log base)) (* 0 (log base)))))
0.6b	(* (log base) (log base))
0.6b	(* (log base) (log base))

rewrite189.0ms

Algorithm

rewrite-expression-head

Rules

103×	`times-frac`
65×	`add-sqr-sqrt`
58×	`pow1`
57×	`*-un-lft-identity`
53×	`add-cube-cbrt`
44×	`associate-l`
38×	`log-pow`
31×	`add-cbrt-cube` `add-exp-log`
12×	`log-prod` `swap-sqr`
11×	`associate-r` `div-inv`
10×	`cbrt-undiv` `div-exp`
8×	`prod-exp` `cbrt-unprod` `associate-/l*`
7×	`distribute-rgt-in` `distribute-lft-in`
5×	`unswap-sqr`
4×	`associate-/r*` `insert-posit16` `add-log-exp`
3×	`pow-prod-down` `*-commutative`
2×	`pow2` `frac-times` `flip3-+` `pow-plus` `div-sub` `associate-*r/` `pow-sqr` `pow-prod-up` `flip-+`
1×	`log-div` `clear-num` `frac-2neg` `associate-*l/` `associate-/l/`

Counts

4 → 204

Calls

4 calls:

29.0ms	(/ (/ (log (/ -1 re)) (* (log base) (log base))) (log base))
113.0ms	(* (/ (/ (log (/ -1 re)) (* (log base) (log base))) (log base)) (+ (* 0 0) (- (* (log base) (log base)) (* 0 (log base)))))
16.0ms	(* (log base) (log base))
25.0ms	(* (log base) (log base))

series736.0ms

Counts

4 → 12

Calls

4 calls:

150.0ms	(/ (/ (log (/ -1 re)) (* (log base) (log base))) (log base))
109.0ms	(* (/ (/ (log (/ -1 re)) (* (log base) (log base))) (log base)) (+ (* 0 0) (- (* (log base) (log base)) (* 0 (log base)))))
226.0ms	(* (log base) (log base))
250.0ms	(* (log base) (log base))

simplify3.3s

Counts

216 → 216

Iterations

Iter	Nodes
2	2318
1	843
0	246

prune2.4s

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 6.6b

localize18.0ms

Local error

Found 3 expressions with local error:

0.2b	(log (/ -1 re))
0.3b	(/ 1 (/ (log base) (log (/ -1 re))))
0.3b	(/ (log base) (log (/ -1 re)))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

149×	`times-frac`
77×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
47×	`pow1`
43×	`log-pow`
24×	`associate-/r*`
19×	`add-exp-log`
13×	`log-prod`
10×	`add-cbrt-cube`
9×	`div-exp`
7×	`div-inv` `associate-/l*`
4×	`cbrt-undiv`
3×	`insert-posit16` `add-log-exp`
2×	`rec-exp` `clear-num` `frac-2neg` `1-exp` `rem-log-exp`
1×	`log-div` `associate-/r/` `pow-flip` `inv-pow`

Counts

3 → 167

Calls

3 calls:

2.0ms	(log (/ -1 re))
8.0ms	(/ 1 (/ (log base) (log (/ -1 re))))
7.0ms	(/ (log base) (log (/ -1 re)))

series709.0ms

Counts

3 → 9

Calls

3 calls:

189.0ms	(log (/ -1 re))
408.0ms	(/ 1 (/ (log base) (log (/ -1 re))))
112.0ms	(/ (log base) (log (/ -1 re)))

simplify1.4s

Counts

176 → 176

Iterations

Iter	Nodes
3	3790
2	1209
1	471
0	216

prune1.5s

Pruning

17 alts after pruning (15 fresh and 2 done)

Merged error: 6.6b

regimes789.0ms

Accuracy

51.7% (10.4b remaining)

Error of 17.5b against oracle of 7.2b and baseline of 28.6b

bsearch3.9s

Steps

Iters	Range		Point
8	2.4986091025830745e-12	2.3630754221419775e-09	1.3029063758199714e-09
7	9.044331989123728e-56	2.1729496112421346e-54	1.731637496866189e-54
9	1.080652116444981e-116	6.1141969789339016e-111	2.125432684072948e-114
7	-2.7807458761436637e-86	-1.4758609069380796e-88	-1.5129456424795354e-88
8	-9.130930376188635e+52	-6.361145652618136e+49	-3.7539404597618837e+52
3	-1.366915026845851e+65	-9.630628217705052e+64	-9.784975811452057e+64
6	-2.5253509450450343e+156	-6.251704639338317e+155	-6.319225497138611e+155

simplify2.0s

Iterations

Iter	Nodes
53	2033
52	1993
51	1957
50	1917
49	1881
48	1841
47	1805
46	1765
45	1729
44	1689
43	1653
42	1613
41	1577
40	1537
39	1501
38	1461
37	1425
36	1385
35	1349
34	1309
33	1273
32	1233
31	1197
30	1157
29	1121
28	1081
27	1045
26	1005
25	969
24	929
23	893
22	853
21	817
20	777
19	741
18	701
17	665
16	625
15	589
14	549
13	513
12	473
11	437
10	391
9	349
8	313
7	277
6	240
5	206
4	156
3	130
2	111
1	90
0	65

end0.0ms

sample35.1s

Algorithm

intervals

Results

26.2s	8019×	body	10240	exit
5.2s	16089×	body	80	nan
2.7s	8000×	body	80	valid