Details

analyze112.0ms (0.9%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	38
1	12	38
0	2	2
1	2	2

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
74.9%	25%	0.1%	3
87.4%	12.5%	0.1%	4
93.7%	6.2%	0.1%	5
96.8%	3.1%	0.1%	6
98.3%	1.6%	0.1%	7
99.1%	0.8%	0.1%	8
99.5%	0.4%	0.1%	9
99.7%	0.2%	0.1%	10
99.8%	0.1%	0.1%	11
99.9%	0%	0.1%	12
99.9%	0%	0.1%	13
99.9%	0%	0.1%	14

Symmetry

(sort re im)

Compiler

Compiled 13 to 11 computations (15.4% saved)

sample35.0ms (0.3%)

Algorithm

1×

intervals

Results

18.0ms

256×

body

128

valid

Compiler

Compiled 25 to 23 computations (8% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	12	19
1	12	19

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Error

29.7b

Counts

2 → 1

Compiler

Compiled 24 to 20 computations (16.7% saved)

localize10.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.6b	(/.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (log.f64 10))
27.4b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite96.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

29.4b

Rules

24×	`times-frac_binary64_84`
22×	`log-pow_binary64_167`
20×	`pow1_binary64_139`
16×	`add-sqr-sqrt_binary64_100`
15×	`add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
6×	`pow1/2_binary64_158` `sqrt-pow1_binary64_96` `associate-/l*_binary64_23`
4×	`add-exp-log_binary64_116` `add-cbrt-cube_binary64_114` `sqrt-div_binary64_95` `associate-/r*_binary64_22`
3×	`sqrt-prod_binary64_94`
2×	`add-log-exp_binary64_117` `flip3-+_binary64_81` `flip-+_binary64_52` `log-div_binary64_165` `div-sub_binary64_83`
1×	`rem-sqrt-square_binary64_91` `div-exp_binary64_129` `cbrt-undiv_binary64_112` `frac-2neg_binary64_89` `clear-num_binary64_77` `div-inv_binary64_75`

Counts

2 → 63

Calls

2 calls:

8.0ms	(/.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (log.f64 10))
4.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

Compiler

Compiled 1410 to 518 computations (63.3% saved)

series386.0ms (3%)

Error

1.0b

Counts

2 → 30

Calls

2 calls:

182.0ms	(/.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (log.f64 10))
154.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

Compiler

Compiled 1220 to 1072 computations (12.1% saved)

simplify75.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5069	2094

prune130.0ms (1%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	81	12	93
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	82	12	94

Error

0.7b

Counts

94 → 12

Compiler

Compiled 1925 to 898 computations (53.4% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(/.f64 (log.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))) (cbrt.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))))) (log.f64 10))
27.4b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
27.4b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
27.4b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite362.0ms (2.8%)

Algorithm

1×	rewrite-expression-head

Error

0.7b

Rules

126×	`pow1_binary64_139`
94×	`log-pow_binary64_167`
72×	`times-frac_binary64_84`
60×	`sqrt-div_binary64_95`
54×	`cbrt-div_binary64_110`
45×	`pow1/3_binary64_160` `pow-prod-up_binary64_148`
34×	`add-sqr-sqrt_binary64_100`
31×	`add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
30×	`flip3-+_binary64_81` `flip-+_binary64_52` `pow-plus_binary64_141`
28×	`frac-times_binary64_88`
26×	`log-div_binary64_165` `div-sub_binary64_83`
25×	`pow-prod-down_binary64_149`
18×	`associate-/l*_binary64_23`
15×	`pow-sqr_binary64_51`
14×	`associate-*l/_binary64_21`
10×	`pow2_binary64_159`
9×	`sqrt-prod_binary64_94`
8×	`associate-*r/_binary64_20`
6×	`add-exp-log_binary64_116` `add-cbrt-cube_binary64_114`
5×	`pow3_binary64_161`
4×	`add-log-exp_binary64_117` `associate-/r*_binary64_22`
3×	`pow1/2_binary64_158` `sqrt-pow1_binary64_96` `rem-sqrt-square_binary64_91`
1×	`div-exp_binary64_129` `cbrt-undiv_binary64_112` `frac-2neg_binary64_89` `clear-num_binary64_77` `div-inv_binary64_75`

Counts

4 → 177

Calls

4 calls:

36.0ms	(/.f64 (log.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))) (cbrt.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))))) (log.f64 10))
4.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
4.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
4.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

Compiler

Compiled 7982 to 1906 computations (76.1% saved)

series806.0ms (6.2%)

Error

0.7b

Counts

4 → 66

Calls

4 calls:

232.0ms	(/.f64 (log.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))) (cbrt.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))))) (log.f64 10))
164.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
162.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
148.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

Compiler

Compiled 5270 to 2976 computations (43.5% saved)

simplify137.0ms (1%)

Algorithm

1×	egg-herbie

Counts

243 → 243

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4967	6647
1	4967	6647

prune360.0ms (2.8%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	239	4	243
Fresh	1	10	11
Picked	0	1	1
Done	0	0	0
Total	240	15	255

Error

0.7b

Counts

255 → 15

Compiler

Compiled 7575 to 2886 computations (61.9% saved)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.3b	(/.f64 1/2 (/.f64 (log.f64 10) (log.f64 (+.f64 (.f64 re re) (.f64 im im)))))
0.6b	(/.f64 (log.f64 10) (log.f64 (+.f64 (.f64 re re) (.f64 im im))))
28.4b	(log.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite299.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

0.6b

Rules

140×	`times-frac_binary64_84`
71×	`add-cube-cbrt_binary64_113` `add-sqr-sqrt_binary64_100` `*-un-lft-identity_binary64_78`
46×	`pow1_binary64_139`
43×	`log-pow_binary64_167`
24×	`associate-/r*_binary64_22`
11×	`add-exp-log_binary64_116`
10×	`add-cbrt-cube_binary64_114`
7×	`associate-/l*_binary64_23`
6×	`div-inv_binary64_75`
4×	`div-exp_binary64_129` `cbrt-undiv_binary64_112`
3×	`log-prod_binary64_164` `add-log-exp_binary64_117`
2×	`log-div_binary64_165` `frac-2neg_binary64_89` `clear-num_binary64_77`
1×	`flip3-+_binary64_81` `flip-+_binary64_52` `rem-log-exp_binary64_119` `associate-/r/_binary64_24`

Counts

3 → 148

Calls

3 calls:

7.0ms	(/.f64 1/2 (/.f64 (log.f64 10) (log.f64 (+.f64 (.f64 re re) (.f64 im im)))))
4.0ms	(log.f64 (+.f64 (.f64 re re) (.f64 im im)))
4.0ms	(/.f64 (log.f64 10) (log.f64 (+.f64 (.f64 re re) (.f64 im im))))

Compiler

Compiled 3915 to 1783 computations (54.5% saved)

series857.0ms (6.6%)

Error

0.6b

Counts

3 → 38

Calls

3 calls:

434.0ms	(/.f64 (log.f64 10) (log.f64 (+.f64 (.f64 re re) (.f64 im im))))
246.0ms	(/.f64 1/2 (/.f64 (log.f64 10) (log.f64 (+.f64 (.f64 re re) (.f64 im im)))))
100.0ms	(log.f64 (+.f64 (.f64 re re) (.f64 im im)))

Compiler

Compiled 2362 to 2142 computations (9.3% saved)

simplify132.0ms (1%)

Algorithm

1×	egg-herbie

Counts

186 → 186

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5023	5471

prune259.0ms (2%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	180	6	186
Fresh	10	3	13
Picked	1	0	1
Done	1	0	1
Total	192	9	201

Error

0.6b

Counts

201 → 9

Compiler

Compiled 4358 to 2101 computations (51.8% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b	(.f64 (log.f64 (+.f64 (.f64 im im) (*.f64 re re))) (sqrt.f64 1/2))
0.5b	(/.f64 (sqrt.f64 1/2) (/.f64 (log.f64 10) (.f64 (log.f64 (+.f64 (.f64 im im) (*.f64 re re))) (sqrt.f64 1/2))))
0.6b	(/.f64 (log.f64 10) (.f64 (log.f64 (+.f64 (.f64 im im) (*.f64 re re))) (sqrt.f64 1/2)))
28.4b	(log.f64 (+.f64 (.f64 im im) (.f64 re re)))

rewrite261.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

0.6b

Rules

80×	`times-frac_binary64_84`
46×	`add-sqr-sqrt_binary64_100`
42×	`add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
31×	`sqrt-prod_binary64_94`
21×	`add-exp-log_binary64_116`
20×	`add-cbrt-cube_binary64_114`
17×	`pow1_binary64_139`
11×	`log-pow_binary64_167`
10×	`associate-/l*_binary64_23`
9×	`div-inv_binary64_75` `associate-/r*_binary64_22`
7×	`div-exp_binary64_129` `cbrt-undiv_binary64_112`
6×	`associate-r_binary64_18`
4×	`add-log-exp_binary64_117` `associate-l_binary64_19`
3×	`log-prod_binary64_164` `prod-exp_binary64_127` `cbrt-unprod_binary64_111`
2×	`log-div_binary64_165` `frac-2neg_binary64_89` `clear-num_binary64_77` `unswap-sqr_binary64_46`
1×	`flip3-+_binary64_81` `flip-+_binary64_52` `rem-log-exp_binary64_119` `associate-/r/_binary64_24` `pow-prod-down_binary64_149` `*-commutative_binary64_9`

Counts

4 → 139

Calls

4 calls:

10.0ms	(.f64 (log.f64 (+.f64 (.f64 im im) (*.f64 re re))) (sqrt.f64 1/2))
9.0ms	(/.f64 (sqrt.f64 1/2) (/.f64 (log.f64 10) (.f64 (log.f64 (+.f64 (.f64 im im) (*.f64 re re))) (sqrt.f64 1/2))))
6.0ms	(/.f64 (log.f64 10) (.f64 (log.f64 (+.f64 (.f64 im im) (*.f64 re re))) (sqrt.f64 1/2)))
4.0ms	(log.f64 (+.f64 (.f64 im im) (.f64 re re)))

Compiler

Compiled 3933 to 2290 computations (41.8% saved)

series1.2s (9%)

Error

0.4b

Counts

4 → 50

Calls

4 calls:

517.0ms	(/.f64 (log.f64 10) (.f64 (log.f64 (+.f64 (.f64 im im) (*.f64 re re))) (sqrt.f64 1/2)))
278.0ms	(/.f64 (sqrt.f64 1/2) (/.f64 (log.f64 10) (.f64 (log.f64 (+.f64 (.f64 im im) (*.f64 re re))) (sqrt.f64 1/2))))
183.0ms	(.f64 (log.f64 (+.f64 (.f64 im im) (*.f64 re re))) (sqrt.f64 1/2))
116.0ms	(log.f64 (+.f64 (.f64 im im) (.f64 re re)))

Compiler

Compiled 3706 to 3444 computations (7.1% saved)

simplify101.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

189 → 189

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5059	5404

prune276.0ms (2.1%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	187	2	189
Fresh	0	8	8
Picked	1	0	1
Done	0	0	0
Total	188	10	198

Error

0.4b

Counts

198 → 10

Compiler

Compiled 4404 to 2624 computations (40.4% saved)

regimes3.4s (25.9%)

Accuracy

Total 6.6b remaining (96.1%)

Threshold costs 0b (0%)

Compiler

Compiled 24044 to 17128 computations (28.8% saved)

bsearch46.0ms (0.4%)

Steps

Iters	Range		Point
7	1.727411177876042e+131	1.3308553028469298e+133	2.3275519908472327e+131
6	3.249436947421052e-167	2.280721147542121e-166	2.2514151755340617e-166

Compiler

Compiled 1 to 2 computations (-100% saved)

simplify20.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	42	87
1	42	87

Compiler

Compiled 110 to 98 computations (10.9% saved)

end0.0ms (0%)

sample3.7s (28.3%)

Algorithm

1×

intervals

Results

613.0ms

8000×

body

128

valid

Compiler

Compiled 2226 to 1629 computations (26.8% saved)

Details

analyze112.0ms (0.9%)

sample35.0ms (0.3%)

simplify7.0ms (0.1%)

prune3.0ms (0%)

localize10.0ms (0.1%)

rewrite96.0ms (0.7%)

series386.0ms (3%)

simplify75.0ms (0.6%)

prune130.0ms (1%)

localize14.0ms (0.1%)

rewrite362.0ms (2.8%)

series806.0ms (6.2%)

simplify137.0ms (1%)

prune360.0ms (2.8%)

localize10.0ms (0.1%)

rewrite299.0ms (2.3%)

series857.0ms (6.6%)

simplify132.0ms (1%)

prune259.0ms (2%)

localize12.0ms (0.1%)

rewrite261.0ms (2%)

series1.2s (9%)

simplify101.0ms (0.8%)

prune276.0ms (2.1%)

regimes3.4s (25.9%)

bsearch46.0ms (0.4%)

simplify20.0ms (0.2%)

end0.0ms (0%)

sample3.7s (28.3%)

Profiling