Details

analyze156.0ms (1%)

Algorithm

2×	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%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	2
74.9%	25%	0.1%	3
74.9%	25%	0.1%	3
87.4%	12.5%	0.1%	4
87.4%	12.5%	0.1%	4
93.7%	6.2%	0.1%	5
93.7%	6.2%	0.1%	5
96.8%	3.1%	0.1%	6
96.8%	3.1%	0.1%	6
98.3%	1.6%	0.1%	7
98.3%	1.6%	0.1%	7
99.1%	0.8%	0.1%	8
99.1%	0.8%	0.1%	8
99.5%	0.4%	0.1%	9
99.5%	0.4%	0.1%	9
99.7%	0.2%	0.1%	10
99.7%	0.2%	0.1%	10
99.8%	0.1%	0.1%	11
99.8%	0.1%	0.1%	11
99.9%	0%	0.1%	12
99.9%	0%	0.1%	12
99.9%	0%	0.1%	13
99.9%	0%	0.1%	13
99.9%	0%	0.1%	14
99.9%	0%	0.1%	14

Symmetry

(sort re im)

Compiler

Compiled 26 to 22 computations (15.4% saved)

sample178.0ms (1.1%)

Algorithm

2×

intervals

Results

33.0ms

512×

body

128

valid

Compiler

Compiled 3366 to 3364 computations (0.1% saved)

simplify7.0ms (0%)

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

28.5b

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))
26.3b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite103.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

28.2b

Rules

24×	`times-frac_binary64_766`
22×	`log-pow_binary64_849`
20×	`pow1_binary64_821`
16×	`add-sqr-sqrt_binary64_782`
15×	`add-cube-cbrt_binary64_795` `*-un-lft-identity_binary64_760`
6×	`pow1/2_binary64_840` `sqrt-pow1_binary64_778` `associate-/l*_binary64_705`
4×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796` `sqrt-div_binary64_777` `associate-/r*_binary64_704`
3×	`sqrt-prod_binary64_776`
2×	`add-log-exp_binary64_799` `flip3-+_binary64_763` `flip-+_binary64_734` `log-div_binary64_847` `div-sub_binary64_765`
1×	`rem-sqrt-square_binary64_773` `div-exp_binary64_811` `cbrt-undiv_binary64_794` `frac-2neg_binary64_771` `clear-num_binary64_759` `div-inv_binary64_757`

Counts

2 → 63

Calls

2 calls:

7.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)

series429.0ms (2.7%)

Error

0.8b

Counts

2 → 30

Calls

2 calls:

232.0ms	(/.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (log.f64 10))
168.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

Compiler

Compiled 1220 to 1072 computations (12.1% saved)

simplify69.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5069	2094

prune121.0ms (0.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	82	11	93
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	83	11	94

Error

0.5b

Counts

94 → 11

Compiler

Compiled 1921 to 889 computations (53.7% saved)

localize16.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.3b

(*.f64 (/.f64 1/2 (sqrt.f64 (log.f64 10))) (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (log.f64 10))))

0.5b

(/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (log.f64 10)))

27.3b

(log.f64 (+.f64 (*.f64 re re) (*.f64 im im)))

rewrite330.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

0.5b

Rules

89×	`times-frac_binary64_766`
82×	`add-sqr-sqrt_binary64_782`
54×	`sqrt-prod_binary64_776`
52×	`add-cube-cbrt_binary64_795` `*-un-lft-identity_binary64_760`
33×	`pow1_binary64_821`
32×	`associate-r_binary64_700`
28×	`log-pow_binary64_849`
25×	`associate-l_binary64_701`
18×	`add-exp-log_binary64_798`
17×	`add-cbrt-cube_binary64_796`
9×	`unswap-sqr_binary64_728`
7×	`associate-/r*_binary64_704`
5×	`div-exp_binary64_811` `cbrt-undiv_binary64_794`
4×	`log-div_binary64_847` `associate-/l*_binary64_705` `prod-exp_binary64_809` `cbrt-unprod_binary64_793`
3×	`log-prod_binary64_846` `add-log-exp_binary64_799` `div-inv_binary64_757`
2×	`flip3-+_binary64_763` `flip-+_binary64_734` `div-sub_binary64_765`
1×	`rem-log-exp_binary64_801` `frac-2neg_binary64_771` `clear-num_binary64_759` `pow-prod-down_binary64_831` `frac-times_binary64_770` `associate-l/_binary64_703` `associate-r/_binary64_702` `*-commutative_binary64_691`

Counts

3 → 153

Calls

3 calls:

25.0ms

(*.f64 (/.f64 1/2 (sqrt.f64 (log.f64 10))) (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (log.f64 10))))

7.0ms

(/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (log.f64 10)))

4.0ms

(log.f64 (+.f64 (*.f64 re re) (*.f64 im im)))

Compiler

Compiled 4776 to 2699 computations (43.5% saved)

series756.0ms (4.8%)

Error

0.4b

Counts

3 → 36

Calls

3 calls:

280.0ms

(/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (log.f64 10)))

270.0ms

(*.f64 (/.f64 1/2 (sqrt.f64 (log.f64 10))) (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (log.f64 10))))

154.0ms

(log.f64 (+.f64 (*.f64 re re) (*.f64 im im)))

Compiler

Compiled 2090 to 1966 computations (5.9% saved)

simplify113.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

189 → 189

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4985	5102
1	4985	5102

prune310.0ms (2%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	183	6	189
Fresh	8	2	10
Picked	1	0	1
Done	0	0	0
Total	192	8	200

Error

0.4b

Counts

200 → 8

Compiler

Compiled 4907 to 2820 computations (42.5% saved)

localize17.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.3b

(*.f64 (/.f64 1/2 (sqrt.f64 (log.f64 10))) (log.f64 (pow.f64 (+.f64 (*.f64 im im) (*.f64 re re)) (/.f64 1 (sqrt.f64 (log.f64 10))))))

13.8b

(log.f64 (pow.f64 (+.f64 (*.f64 im im) (*.f64 re re)) (/.f64 1 (sqrt.f64 (log.f64 10)))))

14.9b

(pow.f64 (+.f64 (*.f64 im im) (*.f64 re re)) (/.f64 1 (sqrt.f64 (log.f64 10))))

rewrite286.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

0.4b

Rules

47×	`add-sqr-sqrt_binary64_782`
44×	`times-frac_binary64_766`
39×	`add-cube-cbrt_binary64_795` `*-un-lft-identity_binary64_760`
25×	`pow-unpow_binary64_837` `sqrt-prod_binary64_776` `associate-l_binary64_701`
21×	`log-prod_binary64_846`
12×	`unpow-prod-down_binary64_839` `pow1_binary64_821`
11×	`add-exp-log_binary64_798`
8×	`log-pow_binary64_849` `add-cbrt-cube_binary64_796`
7×	`distribute-rgt-in_binary64_710` `distribute-lft-in_binary64_709`
4×	`sqr-pow_binary64_732` `associate-r_binary64_700`
3×	`add-log-exp_binary64_799` `rem-log-exp_binary64_801` `unswap-sqr_binary64_728`
2×	`div-inv_binary64_757` `pow-to-exp_binary64_829` `pow-exp_binary64_828` `prod-exp_binary64_809` `cbrt-unprod_binary64_793`
1×	`pow-pow_binary64_832` `pow-prod-down_binary64_831` `div-exp_binary64_811` `cbrt-undiv_binary64_794` `associate-l/_binary64_703` `-commutative_binary64_691`

Counts

3 → 117

Calls

3 calls:

14.0ms

(*.f64 (/.f64 1/2 (sqrt.f64 (log.f64 10))) (log.f64 (pow.f64 (+.f64 (*.f64 im im) (*.f64 re re)) (/.f64 1 (sqrt.f64 (log.f64 10))))))

8.0ms

(pow.f64 (+.f64 (*.f64 im im) (*.f64 re re)) (/.f64 1 (sqrt.f64 (log.f64 10))))

5.0ms

(log.f64 (pow.f64 (+.f64 (*.f64 im im) (*.f64 re re)) (/.f64 1 (sqrt.f64 (log.f64 10)))))

Compiler

Compiled 3866 to 2676 computations (30.8% saved)

series1.6s (10.2%)

Error

0.4b

Counts

3 → 36

Calls

3 calls:

662.0ms

(*.f64 (/.f64 1/2 (sqrt.f64 (log.f64 10))) (log.f64 (pow.f64 (+.f64 (*.f64 im im) (*.f64 re re)) (/.f64 1 (sqrt.f64 (log.f64 10))))))

468.0ms

(log.f64 (pow.f64 (+.f64 (*.f64 im im) (*.f64 re re)) (/.f64 1 (sqrt.f64 (log.f64 10)))))

407.0ms

(pow.f64 (+.f64 (*.f64 im im) (*.f64 re re)) (/.f64 1 (sqrt.f64 (log.f64 10))))

Compiler

Compiled 3206 to 3040 computations (5.2% saved)

simplify65.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

153 → 153

Iterations

Useful iterations: 0 (24.0ms)

Iter	Nodes	Cost
0	5161	4321

prune263.0ms (1.7%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	152	1	153
Fresh	0	7	7
Picked	1	0	1
Done	0	0	0
Total	153	8	161

Error

0.3b

Counts

161 → 8

Compiler

Compiled 4084 to 2700 computations (33.9% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(/.f64 (sqrt.f64 1/2) (/.f64 (log.f64 10) (log.f64 (+.f64 (.f64 im im) (.f64 re re)))))
0.5b	(.f64 (/.f64 (sqrt.f64 1/2) 1) (/.f64 (sqrt.f64 1/2) (/.f64 (log.f64 10) (log.f64 (+.f64 (.f64 im im) (*.f64 re re))))))
0.7b	(/.f64 (log.f64 10) (log.f64 (+.f64 (.f64 im im) (.f64 re re))))
27.3b	(log.f64 (+.f64 (.f64 im im) (.f64 re re)))

rewrite1.1s (7.3%)

Algorithm

1×	rewrite-expression-head

Error

0.3b

Rules

532×	`times-frac_binary64_766`
318×	`add-sqr-sqrt_binary64_782`
238×	`*-un-lft-identity_binary64_760`
228×	`add-cube-cbrt_binary64_795`
152×	`sqrt-prod_binary64_776`
125×	`associate-r_binary64_700`
121×	`pow1_binary64_821`
115×	`log-pow_binary64_849`
42×	`add-exp-log_binary64_798`
32×	`add-cbrt-cube_binary64_796`
25×	`unswap-sqr_binary64_728`
24×	`associate-/r*_binary64_704`
22×	`associate-l_binary64_701`
19×	`div-exp_binary64_811`
17×	`div-inv_binary64_757`
13×	`cbrt-undiv_binary64_794`
10×	`associate-/l*_binary64_705`
9×	`prod-exp_binary64_809`
6×	`cbrt-unprod_binary64_793`
4×	`add-log-exp_binary64_799`
3×	`log-prod_binary64_846` `1-exp_binary64_804`
2×	`log-div_binary64_847` `frac-2neg_binary64_771` `clear-num_binary64_759` `associate-/r/_binary64_706`
1×	`flip3-+_binary64_763` `flip-+_binary64_734` `rem-log-exp_binary64_801` `pow-prod-down_binary64_831` `frac-times_binary64_770` `associate-l/_binary64_703` `associate-r/_binary64_702` `*-commutative_binary64_691`

Counts

4 → 410

Calls

4 calls:

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

Compiler

Compiled 14511 to 8600 computations (40.7% saved)

series1.9s (11.8%)

Error

0.2b

Counts

4 → 54

Calls

4 calls:

891.0ms	(/.f64 (log.f64 10) (log.f64 (+.f64 (.f64 im im) (.f64 re re))))
393.0ms	(.f64 (/.f64 (sqrt.f64 1/2) 1) (/.f64 (sqrt.f64 1/2) (/.f64 (log.f64 10) (log.f64 (+.f64 (.f64 im im) (*.f64 re re))))))
326.0ms	(/.f64 (sqrt.f64 1/2) (/.f64 (log.f64 10) (log.f64 (+.f64 (.f64 im im) (.f64 re re)))))
153.0ms	(log.f64 (+.f64 (.f64 im im) (.f64 re re)))

Compiler

Compiled 4662 to 4292 computations (7.9% saved)

simplify147.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

464 → 464

Iterations

Useful iterations: 0 (23.0ms)

Iter	Nodes	Cost
0	5177	15130

prune966.0ms (6.1%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	459	5	464
Fresh	1	6	7
Picked	1	0	1
Done	0	0	0
Total	461	11	472

Error

0.3b

Counts

472 → 11

Compiler

Compiled 13935 to 7862 computations (43.6% saved)

regimes3.3s (20.9%)

Accuracy

Total 7.2b remaining (96.9%)

Threshold costs 0b (0%)

Compiler

Compiled 26975 to 20671 computations (23.4% saved)

bsearch89.0ms (0.6%)

Steps

Iters	Range		Point
7	5.067586631762225e+40	1.2005231546467696e+42	5.577535844625118e+41
6	6.734387846805406e+36	9.98317081521244e+37	9.723511542146676e+37
8	7.879469204480855e-160	3.274931643799272e-157	1.1776961076709698e-158

Compiler

Compiled 1 to 2 computations (-100% saved)

simplify18.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	58	132
1	58	132

Compiler

Compiled 166 to 150 computations (9.6% saved)

end0.0ms (0%)

sample3.4s (21.5%)

Algorithm

1×

intervals

Results

516.0ms

8000×

body

128

valid

Compiler

Compiled 2570 to 2037 computations (20.7% saved)

Details

analyze156.0ms (1%)

sample178.0ms (1.1%)

simplify7.0ms (0%)

prune3.0ms (0%)

localize10.0ms (0.1%)

rewrite103.0ms (0.7%)

series429.0ms (2.7%)

simplify69.0ms (0.4%)

prune121.0ms (0.8%)

localize16.0ms (0.1%)

rewrite330.0ms (2.1%)

series756.0ms (4.8%)

simplify113.0ms (0.7%)

prune310.0ms (2%)

localize17.0ms (0.1%)

rewrite286.0ms (1.8%)

series1.6s (10.2%)

simplify65.0ms (0.4%)

prune263.0ms (1.7%)

localize14.0ms (0.1%)

rewrite1.1s (7.3%)

series1.9s (11.8%)

simplify147.0ms (0.9%)

prune966.0ms (6.1%)

regimes3.3s (20.9%)

bsearch89.0ms (0.6%)

simplify18.0ms (0.1%)

end0.0ms (0%)

sample3.4s (21.5%)

Profiling