Details

analyze4.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
50%	50%	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 7 to 7 computations (0% saved)

sample17.0ms (0.4%)

Algorithm

1×

intervals

Results

9.0ms

256×

body

128

valid

Compiler

Compiled 13 to 15 computations (-15.4% saved)

simplify94.0ms (2.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	7	9
1	7	9

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

0.8b

Counts

2 → 1

Compiler

Compiled 12 to 12 computations (0% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.8b	(/.f64 (atan2.f64 im re) (log.f64 10))
0.8b	(/.f64 (atan2.f64 im re) (log.f64 10))

rewrite6.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`times-frac_binary64_425`
10×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454` `add-sqr-sqrt_binary64_441`
5×	`pow1_binary64_480`
4×	`log-pow_binary64_508` `associate-/r*_binary64_363`
3×	`add-cbrt-cube_binary64_455` `add-exp-log_binary64_457` `associate-/l*_binary64_364`
1×	`clear-num_binary64_418` `add-log-exp_binary64_458` `div-inv_binary64_416` `frac-2neg_binary64_430` `div-exp_binary64_470` `cbrt-undiv_binary64_453`

Counts

1 → 31

Calls

2 calls:

3.0ms	(/.f64 (atan2.f64 im re) (log.f64 10))
0.0ms	(/.f64 (atan2.f64 im re) (log.f64 10))

series129.0ms (3.1%)

Counts

1 → 6

Calls

1 calls:

128.0ms

(/.f64 (atan2.f64 im re) (log.f64 10))

Compiler

Compiled 72 to 72 computations (0% saved)

simplify119.0ms (2.8%)

Algorithm

1×	egg-herbie

Counts

37 → 37

Iterations

Useful iterations: 0 (105.0ms)

Iter	Nodes	Cost
0	5096	545

prune41.0ms (1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	31	6	37
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	31	7	38

Error

0.0b

Counts

38 → 7

Compiler

Compiled 506 to 300 computations (40.7% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.7b	(*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 10))))
0.1b	(/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 10)))
0.1b	(/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 10)))
0.7b	(*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 10))))

rewrite44.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Rules

92×	`add-sqr-sqrt_binary64_441`
85×	`times-frac_binary64_425`
52×	`*-un-lft-identity_binary64_419`
51×	`sqrt-prod_binary64_435`
46×	`add-cube-cbrt_binary64_454`
26×	`add-exp-log_binary64_457`
25×	`associate-r_binary64_359` `associate-l_binary64_360`
16×	`add-cbrt-cube_binary64_455`
15×	`unswap-sqr_binary64_387`
14×	`pow1_binary64_480`
10×	`log-pow_binary64_508`
9×	`div-exp_binary64_470`
8×	`prod-exp_binary64_468`
7×	`associate-/r*_binary64_363`
5×	`cbrt-undiv_binary64_453`
4×	`cbrt-unprod_binary64_452`
3×	`div-inv_binary64_416` `associate-/l*_binary64_364`
2×	`1-exp_binary64_463` `add-log-exp_binary64_458` `rec-exp_binary64_469`
1×	`associate-l/_binary64_362` `pow-prod-down_binary64_490` `clear-num_binary64_418` `frac-times_binary64_429` `associate-r/_binary64_361` `*-commutative_binary64_350` `frac-2neg_binary64_430`

Counts

2 → 132

Calls

4 calls:

26.0ms	(*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 10))))
4.0ms	(/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 10)))
0.0ms	(/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 10)))
0.0ms	(*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 10))))

series296.0ms (7.1%)

Counts

2 → 12

Calls

2 calls:

165.0ms	(/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 10)))
131.0ms	(*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 10))))

Compiler

Compiled 252 to 252 computations (0% saved)

simplify100.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

144 → 144

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	5132	2661

prune174.0ms (4.1%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	138	6	144
Fresh	2	3	5
Picked	1	0	1
Done	0	1	1
Total	141	10	151

Error

0.0b

Counts

151 → 10

Compiler

Compiled 2752 to 1982 computations (28% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.7b	(.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (.f64 (atan2.f64 im re) (/.f64 1 (sqrt.f64 (log.f64 10)))))
0.1b	(*.f64 (atan2.f64 im re) (/.f64 1 (sqrt.f64 (log.f64 10))))
0.1b	(*.f64 (atan2.f64 im re) (/.f64 1 (sqrt.f64 (log.f64 10))))
0.7b	(.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (.f64 (atan2.f64 im re) (/.f64 1 (sqrt.f64 (log.f64 10)))))

rewrite41.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

76×	`add-exp-log_binary64_457`
46×	`times-frac_binary64_425`
43×	`add-sqr-sqrt_binary64_441`
40×	`prod-exp_binary64_468`
33×	`*-un-lft-identity_binary64_419`
31×	`add-cube-cbrt_binary64_454`
28×	`associate-l_binary64_360` `add-cbrt-cube_binary64_455`
26×	`associate-r_binary64_359` `sqrt-prod_binary64_435`
20×	`div-exp_binary64_470`
15×	`pow1_binary64_480`
12×	`cbrt-unprod_binary64_452`
10×	`1-exp_binary64_463` `rec-exp_binary64_469`
6×	`log-pow_binary64_508` `cbrt-undiv_binary64_453`
5×	`unswap-sqr_binary64_387` `associate-*r/_binary64_361`
4×	`pow-prod-down_binary64_490`
3×	`un-div-inv_binary64_417`
2×	`add-log-exp_binary64_458` `div-inv_binary64_416` `frac-times_binary64_429` `*-commutative_binary64_350`
1×	`associate-*l/_binary64_362`

Counts

2 → 117

Calls

4 calls:

17.0ms	(.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (.f64 (atan2.f64 im re) (/.f64 1 (sqrt.f64 (log.f64 10)))))
12.0ms	(*.f64 (atan2.f64 im re) (/.f64 1 (sqrt.f64 (log.f64 10))))
0.0ms	(*.f64 (atan2.f64 im re) (/.f64 1 (sqrt.f64 (log.f64 10))))
0.0ms	(.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (.f64 (atan2.f64 im re) (/.f64 1 (sqrt.f64 (log.f64 10)))))

series281.0ms (6.7%)

Counts

2 → 12

Calls

2 calls:

159.0ms	(*.f64 (atan2.f64 im re) (/.f64 1 (sqrt.f64 (log.f64 10))))
122.0ms	(.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (.f64 (atan2.f64 im re) (/.f64 1 (sqrt.f64 (log.f64 10)))))

Compiler

Compiled 252 to 252 computations (0% saved)

simplify131.0ms (3.1%)

Algorithm

1×	egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (106.0ms)

Iter	Nodes	Cost
0	4735	1711
1	4735	1711

prune131.0ms (3.1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	128	1	129
Fresh	6	2	8
Picked	0	1	1
Done	0	1	1
Total	134	5	139

Error

0.0b

Counts

139 → 5

Compiler

Compiled 2042 to 1595 computations (21.9% saved)

localize12.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.8b	(*.f64 (atan2.f64 im re) (pow.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) 3/2))
0.7b	(.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (log.f64 10)))) (.f64 (atan2.f64 im re) (pow.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) 3/2)))
0.7b	(.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (log.f64 10)))) (.f64 (atan2.f64 im re) (pow.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) 3/2)))
0.8b	(*.f64 (atan2.f64 im re) (pow.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) 3/2))

rewrite48.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Rules

51×	`sqrt-prod_binary64_435`
48×	`add-sqr-sqrt_binary64_441`
46×	`times-frac_binary64_425`
35×	`*-un-lft-identity_binary64_419`
34×	`add-exp-log_binary64_457`
33×	`add-cube-cbrt_binary64_454`
31×	`associate-l_binary64_360`
30×	`unpow-prod-down_binary64_498` `associate-r_binary64_359`
19×	`prod-exp_binary64_468`
10×	`pow1_binary64_480`
9×	`add-cbrt-cube_binary64_455`
8×	`pow-exp_binary64_487`
7×	`unswap-sqr_binary64_387`
6×	`log-pow_binary64_508`
4×	`cbrt-unprod_binary64_452` `div-exp_binary64_470`
2×	`1-exp_binary64_463` `add-log-exp_binary64_458` `div-inv_binary64_416` `sqr-pow_binary64_391` `rec-exp_binary64_469` `pow-to-exp_binary64_488` `*-commutative_binary64_350`
1×	`associate-*l/_binary64_362` `pow-prod-down_binary64_490` `sqrt-div_binary64_436`

Counts

2 → 102

Calls

4 calls:

21.0ms	(.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (log.f64 10)))) (.f64 (atan2.f64 im re) (pow.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) 3/2)))
15.0ms	(*.f64 (atan2.f64 im re) (pow.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) 3/2))
0.0ms	(.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (log.f64 10)))) (.f64 (atan2.f64 im re) (pow.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) 3/2)))
0.0ms	(*.f64 (atan2.f64 im re) (pow.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) 3/2))

series509.0ms (12.2%)

Counts

2 → 12

Calls

2 calls:

385.0ms	(*.f64 (atan2.f64 im re) (pow.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) 3/2))
124.0ms	(.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (log.f64 10)))) (.f64 (atan2.f64 im re) (pow.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) 3/2)))

Compiler

Compiled 300 to 300 computations (0% saved)

simplify66.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5536	2723

prune176.0ms (4.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	113	1	114
Fresh	1	1	2
Picked	0	1	1
Done	1	1	2
Total	115	4	119

Error

Counts

119 → 4

Compiler

Compiled 2802 to 2392 computations (14.6% saved)

simplify11.0ms (0.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	107	756
1	107	756

regimes201.0ms (4.8%)

Compiler: Compiled 1942 to 1667 computations (14.2% saved)

bsearch0.0ms (0%)

regimes116.0ms (2.8%)

Compiler: Compiled 739 to 694 computations (6.1% saved)

bsearch0.0ms (0%)

regimes75.0ms (1.8%)

Compiler: Compiled 348 to 350 computations (-0.6% saved)

bsearch0.0ms (0%)

regimes59.0ms (1.4%)

Compiler: Compiled 266 to 262 computations (1.5% saved)

bsearch0.0ms (0%)

regimes30.0ms (0.7%)

Compiler: Compiled 10 to 26 computations (-160% saved)

bsearch28.0ms (0.7%)

Steps

Iters	Range		Point
9	2.660994748337098e-145	2.1981073173917302e-139	7.689520380570989e-140
9	-4.78027364562656e-242	-1.5508889814331488e-249	-8.592122952796341e-247

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes28.0ms (0.7%)

Accuracy

Total 0.1b remaining (97.4%)

Threshold costs 0.1b (97.4%)

Compiler

Compiled 8 to 20 computations (-150% saved)

bsearch15.0ms (0.4%)

Steps

Iters	Range		Point
6	1.0418985975731572e+82	1.4694575174130714e+83	1.428639632053752e+82

Compiler

Compiled 71 to 75 computations (-5.6% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	36	107
1	36	107

end0.0ms (0%)

sample1.2s (28.1%)

Algorithm

1×

intervals

Results

301.0ms

8000×

body

128

valid

Compiler

Compiled 540 to 476 computations (11.9% saved)

Pareto

0.710884722057504

Details

analyze4.0ms (0.1%)

sample17.0ms (0.4%)

simplify94.0ms (2.2%)

prune2.0ms (0%)

localize6.0ms (0.1%)

rewrite6.0ms (0.1%)

series129.0ms (3.1%)

simplify119.0ms (2.8%)

prune41.0ms (1%)

localize9.0ms (0.2%)

rewrite44.0ms (1.1%)

series296.0ms (7.1%)

simplify100.0ms (2.4%)

prune174.0ms (4.1%)

localize9.0ms (0.2%)

rewrite41.0ms (1%)

series281.0ms (6.7%)

simplify131.0ms (3.1%)

prune131.0ms (3.1%)

localize12.0ms (0.3%)

rewrite48.0ms (1.2%)

series509.0ms (12.2%)

simplify66.0ms (1.6%)

prune176.0ms (4.2%)

simplify11.0ms (0.3%)

regimes201.0ms (4.8%)

bsearch0.0ms (0%)

regimes116.0ms (2.8%)

bsearch0.0ms (0%)

regimes75.0ms (1.8%)

bsearch0.0ms (0%)

regimes59.0ms (1.4%)

bsearch0.0ms (0%)

regimes30.0ms (0.7%)

bsearch28.0ms (0.7%)

regimes28.0ms (0.7%)

bsearch15.0ms (0.4%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample1.2s (28.1%)

Profiling