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

Algorithm

1×

intervals

Results

16.0ms

256×

body

128

valid

Compiler

Compiled 25 to 23 computations (8% saved)

simplify165.0ms (2%)

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: 31.9b

Counts

2 → 1

Compiler

Compiled 24 to 20 computations (16.7% saved)

localize10.0ms (0.1%)

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

rewrite25.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

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

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

series217.0ms (2.7%)

Counts

3 → 9

Calls

3 calls:

137.0ms	(/.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (log.f64 10))
44.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
35.0ms	(+.f64 (.f64 re re) (.f64 im im))

simplify93.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	4931	1833
1	4931	1833

prune110.0ms (1.4%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	70	13	83
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	71	13	84

Merged error: 9.8b

Counts

84 → 13

Compiler

Compiled 1832 to 793 computations (56.7% 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.4b	(/.f64 (log.f64 (+.f64 (.f64 re re) (.f64 im im))) (sqrt.f64 (log.f64 10)))
30.6b	(log.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite69.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

89×	`times-frac_binary64_84`
83×	`add-sqr-sqrt_binary64_100`
54×	`sqrt-prod_binary64_94`
53×	`add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
34×	`pow1_binary64_139`
32×	`associate-r_binary64_18`
28×	`log-pow_binary64_167`
25×	`associate-l_binary64_19`
19×	`add-exp-log_binary64_116`
18×	`add-cbrt-cube_binary64_114`
9×	`unswap-sqr_binary64_46`
7×	`associate-/r*_binary64_22`
6×	`add-log-exp_binary64_117`
5×	`cbrt-undiv_binary64_112` `div-exp_binary64_129`
4×	`cbrt-unprod_binary64_111` `prod-exp_binary64_127` `associate-/l*_binary64_23` `log-div_binary64_165`
3×	`flip-+_binary64_52` `div-inv_binary64_75` `log-prod_binary64_164` `flip3-+_binary64_81`
2×	`div-sub_binary64_83`
1×	`+-commutative_binary64_8` `-commutative_binary64_9` `frac-2neg_binary64_89` `frac-times_binary64_88` `associate-l/_binary64_21` `rem-log-exp_binary64_119` `pow-prod-down_binary64_149` `associate-*r/_binary64_20` `clear-num_binary64_77` `sum-log_binary64_169`

Counts

4 → 164

Calls

4 calls:

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

series394.0ms (4.8%)

Counts

4 → 12

Calls

4 calls:

164.0ms	(/.f64 (log.f64 (+.f64 (.f64 re re) (.f64 im im))) (sqrt.f64 (log.f64 10)))
136.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))))
56.0ms	(log.f64 (+.f64 (.f64 re re) (.f64 im im)))
37.0ms	(+.f64 (.f64 re re) (.f64 im im))

simplify100.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

176 → 176

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4965	4675
1	4965	4675

prune249.0ms (3.1%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	166	10	176
Fresh	10	2	12
Picked	1	0	1
Done	0	0	0
Total	177	12	189

Merged error: 9.6b

Counts

189 → 12

Compiler

Compiled 4756 to 2728 computations (42.6% saved)

localize18.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))) (log.f64 (pow.f64 (+.f64 (.f64 re re) (*.f64 im im)) (/.f64 1 (sqrt.f64 (log.f64 10))))))
15.6b	(log.f64 (pow.f64 (+.f64 (.f64 re re) (.f64 im im)) (/.f64 1 (sqrt.f64 (log.f64 10)))))
16.5b	(pow.f64 (+.f64 (.f64 re re) (.f64 im im)) (/.f64 1 (sqrt.f64 (log.f64 10))))

rewrite51.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

48×	`add-sqr-sqrt_binary64_100`
44×	`times-frac_binary64_84`
40×	`add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
25×	`sqrt-prod_binary64_94` `associate-l_binary64_19` `pow-unpow_binary64_155`
21×	`log-prod_binary64_164`
13×	`pow1_binary64_139`
12×	`unpow-prod-down_binary64_157` `add-exp-log_binary64_116`
9×	`add-cbrt-cube_binary64_114`
8×	`log-pow_binary64_167`
7×	`distribute-lft-in_binary64_27` `distribute-rgt-in_binary64_28`
6×	`add-log-exp_binary64_117`
4×	`sqr-pow_binary64_50` `associate-r_binary64_18`
3×	`rem-log-exp_binary64_119` `unswap-sqr_binary64_46`
2×	`pow-exp_binary64_146` `pow-to-exp_binary64_147` `cbrt-unprod_binary64_111` `prod-exp_binary64_127` `div-inv_binary64_75`
1×	`+-commutative_binary64_8` `-commutative_binary64_9` `cbrt-undiv_binary64_112` `div-exp_binary64_129` `flip-+_binary64_52` `pow-pow_binary64_150` `associate-l/_binary64_21` `pow-prod-down_binary64_149` `sum-log_binary64_169` `flip3-+_binary64_81`

Counts

4 → 128

Calls

4 calls:

16.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)))))
5.0ms	(+.f64 (.f64 re re) (.f64 im im))

series955.0ms (11.7%)

Counts

4 → 12

Calls

4 calls:

390.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))))))
265.0ms	(pow.f64 (+.f64 (.f64 re re) (.f64 im im)) (/.f64 1 (sqrt.f64 (log.f64 10))))
262.0ms	(log.f64 (pow.f64 (+.f64 (.f64 re re) (.f64 im im)) (/.f64 1 (sqrt.f64 (log.f64 10)))))
38.0ms	(+.f64 (.f64 re re) (.f64 im im))

simplify90.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

140 → 140

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5047	3547

prune208.0ms (2.6%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	137	3	140
Fresh	1	10	11
Picked	0	1	1
Done	0	0	0
Total	138	14	152

Merged error: 9.6b

Counts

152 → 14

Compiler

Compiled 3782 to 2457 computations (35% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.4b	(.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.5b	(/.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))))
30.6b	(log.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite166.0ms (2%)

Algorithm

1×	rewrite-expression-head

Rules

532×	`times-frac_binary64_84`
318×	`add-sqr-sqrt_binary64_100`
238×	`*-un-lft-identity_binary64_78`
228×	`add-cube-cbrt_binary64_113`
152×	`sqrt-prod_binary64_94`
125×	`associate-r_binary64_18`
121×	`pow1_binary64_139`
115×	`log-pow_binary64_167`
42×	`add-exp-log_binary64_116`
32×	`add-cbrt-cube_binary64_114`
25×	`unswap-sqr_binary64_46`
24×	`associate-/r*_binary64_22`
22×	`associate-l_binary64_19`
19×	`div-exp_binary64_129`
17×	`div-inv_binary64_75`
13×	`cbrt-undiv_binary64_112`
10×	`associate-/l*_binary64_23`
9×	`prod-exp_binary64_127`
6×	`cbrt-unprod_binary64_111`
4×	`add-log-exp_binary64_117`
3×	`1-exp_binary64_122` `log-prod_binary64_164`
2×	`frac-2neg_binary64_89` `log-div_binary64_165` `associate-/r/_binary64_24` `clear-num_binary64_77`
1×	`-commutative_binary64_9` `flip-+_binary64_52` `frac-times_binary64_88` `associate-l/_binary64_21` `rem-log-exp_binary64_119` `pow-prod-down_binary64_149` `associate-*r/_binary64_20` `flip3-+_binary64_81`

Counts

4 → 410

Calls

4 calls:

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

series590.0ms (7.3%)

Counts

4 → 12

Calls

4 calls:

226.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))))))
157.0ms	(/.f64 (log.f64 10) (log.f64 (+.f64 (.f64 re re) (.f64 im im))))
153.0ms	(/.f64 (sqrt.f64 1/2) (/.f64 (log.f64 10) (log.f64 (+.f64 (.f64 re re) (.f64 im im)))))
54.0ms	(log.f64 (+.f64 (.f64 re re) (.f64 im im)))

simplify179.0ms (2.2%)

Algorithm

1×	egg-herbie

Counts

422 → 422

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	5072	13343

prune762.0ms (9.4%)

Pruning

17 alts after pruning (16 fresh and 1 done)

	Pruned	Kept	Total
New	416	6	422
Fresh	2	10	12
Picked	1	0	1
Done	0	1	1
Total	419	17	436

Merged error: 9.6b

Counts

436 → 17

Compiler

Compiled 12555 to 6880 computations (45.2% saved)

regimes1.5s (18.7%)

Compiler: Compiled 13593 to 10518 computations (22.6% saved)

bsearch39.0ms (0.5%)

Steps

Iters	Range		Point
6	5.5904023861098e+80	3.5269828211255367e+81	2.7721637282396777e+81
7	-6.914260589985094e+65	-3.437763158294736e+64	-6.842917597001959e+65

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	48	94
1	48	94

end0.0ms (0%)

sample2.1s (25.3%)

Algorithm

1×

intervals

Results

507.0ms

8000×

body

128

valid

Compiler

Compiled 1270 to 1022 computations (19.5% saved)

Details

analyze5.0ms (0.1%)

sample22.0ms (0.3%)

simplify165.0ms (2%)

prune3.0ms (0%)

localize10.0ms (0.1%)

rewrite25.0ms (0.3%)

series217.0ms (2.7%)

simplify93.0ms (1.1%)

prune110.0ms (1.4%)

localize12.0ms (0.2%)

rewrite69.0ms (0.9%)

series394.0ms (4.8%)

simplify100.0ms (1.2%)

prune249.0ms (3.1%)

localize18.0ms (0.2%)

rewrite51.0ms (0.6%)

series955.0ms (11.7%)

simplify90.0ms (1.1%)

prune208.0ms (2.6%)

localize14.0ms (0.2%)

rewrite166.0ms (2%)

series590.0ms (7.3%)

simplify179.0ms (2.2%)

prune762.0ms (9.4%)

regimes1.5s (18.7%)

bsearch39.0ms (0.5%)

simplify3.0ms (0%)

end0.0ms (0%)

sample2.1s (25.3%)

Profiling