Details

analyze5.0ms (0.1%)

Algorithm

1×

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

Compiler

Compiled 13 to 11 computations (15.4% saved)

sample22.0ms (0.4%)

Algorithm

1×

intervals

Results

15.0ms

256×

body

128

valid

Compiler

Compiled 25 to 23 computations (8% saved)

simplify162.0ms (2.6%)

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

Merged error: 30.4b

Counts

2 → 1

Compiler

Compiled 24 to 20 computations (16.7% saved)

localize10.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

rewrite26.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`times-frac_binary64_757`
22×	`log-pow_binary64_837`
21×	`pow1_binary64_809`
17×	`add-sqr-sqrt_binary64_772`
16×	`add-cube-cbrt_binary64_783` `*-un-lft-identity_binary64_751`
6×	`pow1/2_binary64_828` `associate-/l*_binary64_698` `sqrt-pow1_binary64_768`
5×	`add-log-exp_binary64_787` `add-cbrt-cube_binary64_784` `add-exp-log_binary64_786`
4×	`associate-/r*_binary64_697` `sqrt-div_binary64_767`
3×	`flip3-+_binary64_754` `sqrt-prod_binary64_766` `flip-+_binary64_725`
2×	`log-div_binary64_835` `div-sub_binary64_756`
1×	`+-commutative_binary64_683` `rem-sqrt-square_binary64_764` `div-inv_binary64_748` `cbrt-undiv_binary64_782` `sum-log_binary64_839` `frac-2neg_binary64_762` `clear-num_binary64_750` `div-exp_binary64_799`

Counts

3 → 74

Calls

3 calls:

9.0ms	(/.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (log.f64 10))
5.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
5.0ms	(+.f64 (.f64 re re) (.f64 im im))

series237.0ms (3.8%)

Counts

3 → 9

Calls

3 calls:

148.0ms	(/.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (log.f64 10))
46.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
43.0ms	(+.f64 (.f64 re re) (.f64 im im))

simplify77.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	4884	1833
1	4884	1833

prune112.0ms (1.8%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	71	12	83
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	72	12	84

Merged error: 7.7b

Counts

84 → 12

Compiler

Compiled 1796 to 779 computations (56.6% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 re re) (.f64 im im))
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)))
29.1b	(log.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite64.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

89×	`times-frac_binary64_757`
83×	`add-sqr-sqrt_binary64_772`
54×	`sqrt-prod_binary64_766`
53×	`add-cube-cbrt_binary64_783` `*-un-lft-identity_binary64_751`
34×	`pow1_binary64_809`
32×	`associate-r_binary64_693`
28×	`log-pow_binary64_837`
25×	`associate-l_binary64_694`
19×	`add-exp-log_binary64_786`
18×	`add-cbrt-cube_binary64_784`
9×	`unswap-sqr_binary64_719`
7×	`associate-/r*_binary64_697`
6×	`add-log-exp_binary64_787`
5×	`cbrt-undiv_binary64_782` `div-exp_binary64_799`
4×	`prod-exp_binary64_797` `log-div_binary64_835` `cbrt-unprod_binary64_781` `associate-/l*_binary64_698`
3×	`flip3-+_binary64_754` `log-prod_binary64_834` `div-inv_binary64_748` `flip-+_binary64_725`
2×	`div-sub_binary64_756`
1×	`frac-times_binary64_761` `+-commutative_binary64_683` `rem-log-exp_binary64_789` `pow-prod-down_binary64_819` `-commutative_binary64_684` `associate-r/_binary64_695` `sum-log_binary64_839` `frac-2neg_binary64_762` `clear-num_binary64_750` `associate-*l/_binary64_696`

Counts

4 → 164

Calls

4 calls:

28.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))))
8.0ms	(/.f64 (log.f64 (+.f64 (.f64 re re) (.f64 im im))) (sqrt.f64 (log.f64 10)))
5.0ms	(+.f64 (.f64 re re) (.f64 im im))
4.0ms	(log.f64 (+.f64 (.f64 re re) (.f64 im im)))

series389.0ms (6.3%)

Counts

4 → 12

Calls

4 calls:

155.0ms	(/.f64 (log.f64 (+.f64 (.f64 re re) (.f64 im im))) (sqrt.f64 (log.f64 10)))
132.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))))
65.0ms	(log.f64 (+.f64 (.f64 re re) (.f64 im im)))
36.0ms	(+.f64 (.f64 re re) (.f64 im im))

simplify102.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

176 → 176

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4939	4675
1	4939	4675

prune248.0ms (4%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	168	8	176
Fresh	6	5	11
Picked	1	0	1
Done	0	0	0
Total	175	13	188

Merged error: 7.6b

Counts

188 → 13

Compiler

Compiled 4787 to 2723 computations (43.1% saved)

localize21.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 re re) (.f64 im im))
0.3b	(.f64 (/.f64 1/2 (sqrt.f64 (log.f64 10))) (log.f64 (pow.f64 (+.f64 (.f64 re re) (*.f64 im im)) (/.f64 1 (sqrt.f64 (log.f64 10))))))
15.1b	(log.f64 (pow.f64 (+.f64 (.f64 re re) (.f64 im im)) (/.f64 1 (sqrt.f64 (log.f64 10)))))
15.4b	(pow.f64 (+.f64 (.f64 re re) (.f64 im im)) (/.f64 1 (sqrt.f64 (log.f64 10))))

rewrite48.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

48×	`add-sqr-sqrt_binary64_772`
44×	`times-frac_binary64_757`
40×	`add-cube-cbrt_binary64_783` `*-un-lft-identity_binary64_751`
25×	`associate-l_binary64_694` `sqrt-prod_binary64_766` `pow-unpow_binary64_825`
21×	`log-prod_binary64_834`
13×	`pow1_binary64_809`
12×	`unpow-prod-down_binary64_827` `add-exp-log_binary64_786`
9×	`add-cbrt-cube_binary64_784`
8×	`log-pow_binary64_837`
7×	`distribute-lft-in_binary64_702` `distribute-rgt-in_binary64_703`
6×	`add-log-exp_binary64_787`
4×	`sqr-pow_binary64_723` `associate-r_binary64_693`
3×	`rem-log-exp_binary64_789` `unswap-sqr_binary64_719`
2×	`prod-exp_binary64_797` `pow-to-exp_binary64_817` `pow-exp_binary64_816` `div-inv_binary64_748` `cbrt-unprod_binary64_781`
1×	`+-commutative_binary64_683` `flip3-+_binary64_754` `pow-prod-down_binary64_819` `-commutative_binary64_684` `pow-pow_binary64_820` `cbrt-undiv_binary64_782` `sum-log_binary64_839` `associate-l/_binary64_696` `flip-+_binary64_725` `div-exp_binary64_799`

Counts

4 → 128

Calls

4 calls:

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

series948.0ms (15.3%)

Counts

4 → 12

Calls

4 calls:

392.0ms	(.f64 (/.f64 1/2 (sqrt.f64 (log.f64 10))) (log.f64 (pow.f64 (+.f64 (.f64 re re) (*.f64 im im)) (/.f64 1 (sqrt.f64 (log.f64 10))))))
261.0ms	(pow.f64 (+.f64 (.f64 re re) (.f64 im im)) (/.f64 1 (sqrt.f64 (log.f64 10))))
259.0ms	(log.f64 (pow.f64 (+.f64 (.f64 re re) (.f64 im im)) (/.f64 1 (sqrt.f64 (log.f64 10)))))
36.0ms	(+.f64 (.f64 re re) (.f64 im im))

simplify93.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

140 → 140

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5036	3547

prune214.0ms (3.5%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	136	4	140
Fresh	1	11	12
Picked	0	1	1
Done	0	0	0
Total	137	16	153

Merged error: 7.6b

Counts

153 → 16

Compiler

Compiled 3844 to 2481 computations (35.5% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.4b	(/.f64 (sqrt.f64 1/2) (/.f64 (log.f64 10) (log.f64 (+.f64 (.f64 re re) (.f64 im im)))))
0.5b	(.f64 (/.f64 (sqrt.f64 1/2) 1) (/.f64 (sqrt.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))))
29.1b	(log.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite160.0ms (2.6%)

Algorithm

1×	rewrite-expression-head

Rules

532×	`times-frac_binary64_757`
318×	`add-sqr-sqrt_binary64_772`
238×	`*-un-lft-identity_binary64_751`
228×	`add-cube-cbrt_binary64_783`
152×	`sqrt-prod_binary64_766`
125×	`associate-r_binary64_693`
121×	`pow1_binary64_809`
115×	`log-pow_binary64_837`
42×	`add-exp-log_binary64_786`
32×	`add-cbrt-cube_binary64_784`
25×	`unswap-sqr_binary64_719`
24×	`associate-/r*_binary64_697`
22×	`associate-l_binary64_694`
19×	`div-exp_binary64_799`
17×	`div-inv_binary64_748`
13×	`cbrt-undiv_binary64_782`
10×	`associate-/l*_binary64_698`
9×	`prod-exp_binary64_797`
6×	`cbrt-unprod_binary64_781`
4×	`add-log-exp_binary64_787`
3×	`1-exp_binary64_792` `log-prod_binary64_834`
2×	`log-div_binary64_835` `associate-/r/_binary64_699` `frac-2neg_binary64_762` `clear-num_binary64_750`
1×	`frac-times_binary64_761` `rem-log-exp_binary64_789` `flip3-+_binary64_754` `pow-prod-down_binary64_819` `-commutative_binary64_684` `associate-r/_binary64_695` `associate-*l/_binary64_696` `flip-+_binary64_725`

Counts

4 → 410

Calls

4 calls:

73.0ms	(.f64 (/.f64 (sqrt.f64 1/2) 1) (/.f64 (sqrt.f64 1/2) (/.f64 (log.f64 10) (log.f64 (+.f64 (.f64 re re) (*.f64 im im))))))
10.0ms	(/.f64 (sqrt.f64 1/2) (/.f64 (log.f64 10) (log.f64 (+.f64 (.f64 re re) (.f64 im im)))))
5.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))))

series617.0ms (10%)

Counts

4 → 12

Calls

4 calls:

220.0ms	(.f64 (/.f64 (sqrt.f64 1/2) 1) (/.f64 (sqrt.f64 1/2) (/.f64 (log.f64 10) (log.f64 (+.f64 (.f64 re re) (*.f64 im im))))))
187.0ms	(/.f64 (sqrt.f64 1/2) (/.f64 (log.f64 10) (log.f64 (+.f64 (.f64 re re) (.f64 im im)))))
153.0ms	(/.f64 (log.f64 10) (log.f64 (+.f64 (.f64 re re) (.f64 im im))))
57.0ms	(log.f64 (+.f64 (.f64 re re) (.f64 im im)))

simplify179.0ms (2.9%)

Algorithm

1×	egg-herbie

Counts

422 → 422

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	4944	13343
1	4944	13343

prune908.0ms (14.7%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	417	5	422
Fresh	5	9	14
Picked	0	1	1
Done	0	1	1
Total	422	16	438

Merged error: 7.5b

Counts

438 → 16

Compiler

Compiled 12555 to 6881 computations (45.2% saved)

regimes413.0ms (6.7%)

Compiler: Compiled 2582 to 2358 computations (8.7% saved)

bsearch48.0ms (0.8%)

Steps

Iters	Range		Point
9	3.9290182471438323e+142	3.148966297237914e+147	4.279682328131412e+142
8	-1.494942080073828e+102	-2.4736502258988928e+98	-4.985096609916131e+99

Compiler

Compiled 1 to 2 computations (-100% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	46	99
1	46	99

end0.0ms (0%)

sample1.1s (17.1%)

Algorithm

1×

intervals

Results

495.0ms

8000×

body

128

valid

Compiler

Compiled 352 to 327 computations (7.1% saved)

Details

analyze5.0ms (0.1%)

sample22.0ms (0.4%)

simplify162.0ms (2.6%)

prune3.0ms (0%)

localize10.0ms (0.2%)

rewrite26.0ms (0.4%)

series237.0ms (3.8%)

simplify77.0ms (1.2%)

prune112.0ms (1.8%)

localize12.0ms (0.2%)

rewrite64.0ms (1%)

series389.0ms (6.3%)

simplify102.0ms (1.6%)

prune248.0ms (4%)

localize21.0ms (0.3%)

rewrite48.0ms (0.8%)

series948.0ms (15.3%)

simplify93.0ms (1.5%)

prune214.0ms (3.5%)

localize14.0ms (0.2%)

rewrite160.0ms (2.6%)

series617.0ms (10%)

simplify179.0ms (2.9%)

prune908.0ms (14.7%)

regimes413.0ms (6.7%)

bsearch48.0ms (0.8%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.1s (17.1%)

Profiling