Details

analyze101.0ms (1.3%)

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)

sample31.0ms (0.4%)

Algorithm

1×

intervals

Results

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

34.2b

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

rewrite93.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

33.9b

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:

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)

series340.0ms (4.3%)

Error

0.7b

Counts

2 → 31

Calls

2 calls:

199.0ms	(/.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (log.f64 10))
113.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

Compiler

Compiled 1299 to 1141 computations (12.2% saved)

simplify60.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5066	2145

prune98.0ms (1.2%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	83	11	94
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	84	11	95

Error

0.5b

Counts

95 → 11

Compiler

Compiled 1925 to 904 computations (53% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.5b	(/.f64 (log.f64 (neg.f64 re)) (log.f64 10))

rewrite41.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

0.4b

Rules

16×	`times-frac_binary64_766`
11×	`pow1_binary64_821` `add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782` `*-un-lft-identity_binary64_760`
10×	`log-pow_binary64_849`
4×	`associate-/l_binary64_705` `associate-/r_binary64_704`
3×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
1×	`div-exp_binary64_811` `add-log-exp_binary64_799` `cbrt-undiv_binary64_794` `frac-2neg_binary64_771` `clear-num_binary64_759` `div-inv_binary64_757`

Counts

1 → 36

Calls

1 calls:

4.0ms

(/.f64 (log.f64 (neg.f64 re)) (log.f64 10))

Compiler

Compiled 484 to 287 computations (40.7% saved)

series122.0ms (1.6%)

Error

0.5b

Counts

1 → 3

Calls

1 calls:

120.0ms

(/.f64 (log.f64 (neg.f64 re)) (log.f64 10))

Compiler

Compiled 81 to 86 computations (-6.2% saved)

simplify69.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

39 → 39

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4930	646
1	4930	646

prune54.0ms (0.7%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	30	9	39
Fresh	2	8	10
Picked	1	0	1
Done	0	0	0
Total	33	17	50

Error

0.4b

Counts

50 → 17

Compiler

Compiled 776 to 492 computations (36.6% saved)

localize9.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.2b	(*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (/.f64 (log.f64 (neg.f64 re)) (sqrt.f64 (log.f64 10))))
0.4b	(/.f64 (log.f64 (neg.f64 re)) (sqrt.f64 (log.f64 10)))

rewrite266.0ms (3.4%)

Algorithm

1×	rewrite-expression-head

Error

0.3b

Rules

99×	`times-frac_binary64_766`
96×	`add-sqr-sqrt_binary64_782`
59×	`sqrt-prod_binary64_776`
56×	`*-un-lft-identity_binary64_760`
50×	`add-cube-cbrt_binary64_795`
32×	`associate-r_binary64_700`
31×	`pow1_binary64_821`
27×	`log-pow_binary64_849`
26×	`add-exp-log_binary64_798`
25×	`associate-l_binary64_701`
16×	`add-cbrt-cube_binary64_796`
15×	`unswap-sqr_binary64_728`
9×	`div-exp_binary64_811`
8×	`prod-exp_binary64_809`
7×	`associate-/r*_binary64_704`
5×	`cbrt-undiv_binary64_794`
4×	`associate-/l*_binary64_705` `cbrt-unprod_binary64_793`
3×	`div-inv_binary64_757`
2×	`add-log-exp_binary64_799` `1-exp_binary64_804` `rec-exp_binary64_810`
1×	`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

2 → 147

Calls

2 calls:

27.0ms	(*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (/.f64 (log.f64 (neg.f64 re)) (sqrt.f64 (log.f64 10))))
6.0ms	(/.f64 (log.f64 (neg.f64 re)) (sqrt.f64 (log.f64 10)))

Compiler

Compiled 3481 to 2680 computations (23% saved)

series247.0ms (3.1%)

Error

0.4b

Counts

2 → 6

Calls

2 calls:

129.0ms	(/.f64 (log.f64 (neg.f64 re)) (sqrt.f64 (log.f64 10)))
111.0ms	(*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (/.f64 (log.f64 (neg.f64 re)) (sqrt.f64 (log.f64 10))))

Compiler

Compiled 243 to 250 computations (-2.9% saved)

simplify135.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

153 → 153

Iterations

Useful iterations: 0 (99.0ms)

Iter	Nodes	Cost
0	4923	3012
1	4923	3012

prune191.0ms (2.4%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	147	6	153
Fresh	7	9	16
Picked	1	0	1
Done	0	0	0
Total	155	15	170

Error

0.3b

Counts

170 → 15

Compiler

Compiled 3109 to 2261 computations (27.3% saved)

localize11.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.2b	(*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (log.f64 (pow.f64 (neg.f64 re) (/.f64 1 (sqrt.f64 (log.f64 10))))))
3.0b	(pow.f64 (neg.f64 re) (/.f64 1 (sqrt.f64 (log.f64 10))))

rewrite257.0ms (3.3%)

Algorithm

1×	rewrite-expression-head

Error

0.3b

Rules

54×	`add-sqr-sqrt_binary64_782`
46×	`times-frac_binary64_766`
44×	`*-un-lft-identity_binary64_760`
42×	`add-cube-cbrt_binary64_795`
30×	`unpow-prod-down_binary64_839`
28×	`log-prod_binary64_846`
26×	`sqrt-prod_binary64_776`
25×	`pow-unpow_binary64_837` `associate-l_binary64_701`
14×	`distribute-rgt-in_binary64_710` `distribute-lft-in_binary64_709`
12×	`add-exp-log_binary64_798`
11×	`pow1_binary64_821`
9×	`distribute-rgt-neg-in_binary64_718` `distribute-lft-neg-in_binary64_717`
7×	`log-pow_binary64_849` `add-cbrt-cube_binary64_796`
5×	`unswap-sqr_binary64_728`
4×	`prod-exp_binary64_809` `associate-r_binary64_700`
3×	`neg-mul-1_binary64_756` `sqr-pow_binary64_732`
2×	`div-inv_binary64_757` `add-log-exp_binary64_799` `div-exp_binary64_811` `cbrt-unprod_binary64_793`
1×	`pow-pow_binary64_832` `pow-to-exp_binary64_829` `pow-exp_binary64_828` `pow-prod-down_binary64_831` `1-exp_binary64_804` `rec-exp_binary64_810` `cbrt-undiv_binary64_794` `associate-l/_binary64_703` `-commutative_binary64_691`

Counts

2 → 124

Calls

2 calls:

14.0ms	(*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (log.f64 (pow.f64 (neg.f64 re) (/.f64 1 (sqrt.f64 (log.f64 10))))))
6.0ms	(pow.f64 (neg.f64 re) (/.f64 1 (sqrt.f64 (log.f64 10))))

Compiler

Compiled 3334 to 2950 computations (11.5% saved)

series474.0ms (6%)

Error

0.3b

Counts

2 → 6

Calls

2 calls:

316.0ms	(*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (log.f64 (pow.f64 (neg.f64 re) (/.f64 1 (sqrt.f64 (log.f64 10))))))
149.0ms	(pow.f64 (neg.f64 re) (/.f64 1 (sqrt.f64 (log.f64 10))))

Compiler

Compiled 360 to 367 computations (-1.9% saved)

simplify105.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	4922	2421
1	4922	2421

prune147.0ms (1.9%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	128	2	130
Fresh	2	12	14
Picked	0	1	1
Done	0	0	0
Total	130	15	145

Error

0.3b

Counts

145 → 15

Compiler

Compiled 2347 to 1888 computations (19.6% saved)

regimes2.1s (27.4%)

Accuracy

Total 6.5b remaining (94.3%)

Threshold costs 0b (0%)

Compiler

Compiled 19142 to 14671 computations (23.4% saved)

bsearch59.0ms (0.8%)

Steps

Iters	Range		Point
9	-6.597667571969057e-157	-2.4803126661270687e-165	-2.5396447653359938e-165
8	-5.909808931352734e+75	-9.16500575013886e+71	-1.4840638130856809e+75

Compiler

Compiled 1 to 2 computations (-100% saved)

simplify12.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	39	74
1	39	74

Compiler

Compiled 92 to 80 computations (13% saved)

end0.0ms (0%)

sample2.8s (35.1%)

Algorithm

1×

intervals

Results

503.0ms

8000×

body

128

valid

Compiler

Compiled 1897 to 1517 computations (20% saved)

Details

analyze101.0ms (1.3%)

sample31.0ms (0.4%)

simplify7.0ms (0.1%)

prune3.0ms (0%)

localize10.0ms (0.1%)

rewrite93.0ms (1.2%)

series340.0ms (4.3%)

simplify60.0ms (0.8%)

prune98.0ms (1.2%)

localize6.0ms (0.1%)

rewrite41.0ms (0.5%)

series122.0ms (1.6%)

simplify69.0ms (0.9%)

prune54.0ms (0.7%)

localize9.0ms (0.1%)

rewrite266.0ms (3.4%)

series247.0ms (3.1%)

simplify135.0ms (1.7%)

prune191.0ms (2.4%)

localize11.0ms (0.1%)

rewrite257.0ms (3.3%)

series474.0ms (6%)

simplify105.0ms (1.3%)

prune147.0ms (1.9%)

regimes2.1s (27.4%)

bsearch59.0ms (0.8%)

simplify12.0ms (0.2%)

end0.0ms (0%)

sample2.8s (35.1%)

Profiling