Details

analyze5.0ms (0%)

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)

sample24.0ms (0.2%)

Algorithm

1×

intervals

Results

15.0ms

256×

body

128

valid

Compiler

Compiled 25 to 23 computations (8% saved)

simplify103.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	12	19
1	12	19

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

30.8b

Counts

2 → 1

Compiler

Compiled 24 to 20 computations (16.7% saved)

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

rewrite101.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

30.5b

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)

series405.0ms (2.6%)

Error

0.7b

Counts

2 → 30

Calls

2 calls:

207.0ms	(/.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (log.f64 10))
144.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

Compiler

Compiled 1220 to 1072 computations (12.1% saved)

simplify97.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	5069	2094

prune123.0ms (0.8%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	76	17	93
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	77	17	94

Error

0.4b

Counts

94 → 17

Compiler

Compiled 2017 to 951 computations (52.9% saved)

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

29.5b

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

rewrite371.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

0.4b

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:

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

4.0ms

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

Compiler

Compiled 4776 to 2699 computations (43.5% saved)

series650.0ms (4.3%)

Error

0.3b

Counts

3 → 36

Calls

3 calls:

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

233.0ms

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

120.0ms

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

Compiler

Compiled 2090 to 1966 computations (5.9% saved)

simplify170.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

189 → 189

Iterations

Useful iterations: 0 (100.0ms)

Iter	Nodes	Cost
0	4985	5102
1	4985	5102

prune305.0ms (2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	182	7	189
Fresh	11	5	16
Picked	1	0	1
Done	0	0	0
Total	194	12	206

Error

0.3b

Counts

206 → 12

Compiler

Compiled 4969 to 2855 computations (42.5% saved)

localize24.0ms (0.2%)

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

15.2b

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

15.6b

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

rewrite309.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

0.3b

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×	`rem-log-exp_binary64_801` `add-log-exp_binary64_799` `unswap-sqr_binary64_728`
2×	`pow-to-exp_binary64_829` `pow-exp_binary64_828` `div-inv_binary64_757` `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:

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

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

Error

0.3b

Counts

3 → 36

Calls

3 calls:

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

371.0ms

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

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

simplify94.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

153 → 153

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5161	4321

prune332.0ms (2.2%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	147	6	153
Fresh	1	10	11
Picked	1	0	1
Done	0	0	0
Total	149	16	165

Error

0.2b

Counts

165 → 16

Compiler

Compiled 4216 to 2807 computations (33.4% saved)

localize29.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite729.0ms (4.8%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

126×	`sqrt-prod_binary64_776`
112×	`times-frac_binary64_766`
107×	`add-sqr-sqrt_binary64_782`
69×	`add-cube-cbrt_binary64_795` `*-un-lft-identity_binary64_760`
60×	`associate-l_binary64_701`
42×	`pow1_binary64_821`
31×	`log-pow_binary64_849`
29×	`associate-r_binary64_700`
21×	`add-exp-log_binary64_798`
20×	`add-cbrt-cube_binary64_796`
12×	`unswap-sqr_binary64_728`
10×	`sqrt-div_binary64_777`
7×	`associate-/r*_binary64_704` `prod-exp_binary64_809` `cbrt-unprod_binary64_793`
6×	`frac-times_binary64_770` `associate-*r/_binary64_702`
4×	`log-div_binary64_847` `add-log-exp_binary64_799` `div-inv_binary64_757` `associate-/l_binary64_705` `pow-prod-down_binary64_831` `associate-l/_binary64_703`
3×	`log-prod_binary64_846` `div-exp_binary64_811` `cbrt-undiv_binary64_794`
2×	`flip3-+_binary64_763` `flip-+_binary64_734` `div-sub_binary64_765` `*-commutative_binary64_691`
1×	`rem-log-exp_binary64_801` `frac-2neg_binary64_771` `clear-num_binary64_759`

Counts

4 → 207

Calls

4 calls:

41.0ms	(.f64 (/.f64 (log.f64 (+.f64 (.f64 im im) (*.f64 re re))) (sqrt.f64 (log.f64 10))) (sqrt.f64 (/.f64 1/2 (sqrt.f64 (log.f64 10)))))
24.0ms	(.f64 (sqrt.f64 (/.f64 1/2 (sqrt.f64 (log.f64 10)))) (.f64 (/.f64 (log.f64 (+.f64 (.f64 im im) (.f64 re re))) (sqrt.f64 (log.f64 10))) (sqrt.f64 (/.f64 1/2 (sqrt.f64 (log.f64 10))))))
8.0ms	(/.f64 (log.f64 (+.f64 (.f64 im im) (.f64 re re))) (sqrt.f64 (log.f64 10)))
7.0ms	(log.f64 (+.f64 (.f64 im im) (.f64 re re)))

Compiler

Compiled 8098 to 5505 computations (32% saved)

series1.3s (8.7%)

Error

0.1b

Counts

4 → 48

Calls

4 calls:

515.0ms	(.f64 (/.f64 (log.f64 (+.f64 (.f64 im im) (*.f64 re re))) (sqrt.f64 (log.f64 10))) (sqrt.f64 (/.f64 1/2 (sqrt.f64 (log.f64 10)))))
305.0ms	(.f64 (sqrt.f64 (/.f64 1/2 (sqrt.f64 (log.f64 10)))) (.f64 (/.f64 (log.f64 (+.f64 (.f64 im im) (.f64 re re))) (sqrt.f64 (log.f64 10))) (sqrt.f64 (/.f64 1/2 (sqrt.f64 (log.f64 10))))))
273.0ms	(/.f64 (log.f64 (+.f64 (.f64 im im) (.f64 re re))) (sqrt.f64 (log.f64 10)))
128.0ms	(log.f64 (+.f64 (.f64 im im) (.f64 re re)))

Compiler

Compiled 4030 to 3864 computations (4.1% saved)

simplify131.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

255 → 255

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	4973	8221
1	4973	8221

prune654.0ms (4.3%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	252	3	255
Fresh	1	14	15
Picked	1	0	1
Done	0	0	0
Total	254	17	271

Error

0.2b

Counts

271 → 17

Compiler

Compiled 8470 to 5811 computations (31.4% saved)

regimes3.6s (23.6%)

Accuracy

Total 17.5b remaining (98.7%)

Threshold costs 0b (0%)

Compiler

Compiled 28610 to 22652 computations (20.8% saved)

bsearch126.0ms (0.8%)

Steps

Iters	Range		Point
7	2.2604276343637067e+89	1.2703823963490312e+91	5.179540222444118e+90
10	1.6474728892184873e-183	2.3423925686010187e-173	3.643016007571221e-180
7	-1.153505436316687e-299	-5.525876438110106e-302	-5.535169434540731e-301
10	-2.861169588080768e+114	-1.4620611642720228e+102	-7.061285158928872e+113

Compiler

Compiled 1 to 2 computations (-100% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	59	172
1	59	172

end0.0ms (0%)

sample4.2s (27.4%)

Algorithm

1×

intervals

Results

593.0ms

8000×

body

128

valid

Compiler

Compiled 2788 to 2284 computations (18.1% saved)

Details

analyze5.0ms (0%)

sample24.0ms (0.2%)

simplify103.0ms (0.7%)

prune2.0ms (0%)

localize12.0ms (0.1%)

rewrite101.0ms (0.7%)

series405.0ms (2.6%)

simplify97.0ms (0.6%)

prune123.0ms (0.8%)

localize12.0ms (0.1%)

rewrite371.0ms (2.4%)

series650.0ms (4.3%)

simplify170.0ms (1.1%)

prune305.0ms (2%)

localize24.0ms (0.2%)

rewrite309.0ms (2%)

series1.3s (8.8%)

simplify94.0ms (0.6%)

prune332.0ms (2.2%)

localize29.0ms (0.2%)

rewrite729.0ms (4.8%)

series1.3s (8.7%)

simplify131.0ms (0.9%)

prune654.0ms (4.3%)

regimes3.6s (23.6%)

bsearch126.0ms (0.8%)

simplify4.0ms (0%)

end0.0ms (0%)

sample4.2s (27.4%)

Profiling