Details

analyze550.0ms (12%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	34	46
1	34	46
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
50%	50%	0.1%	3
50%	50%	0.1%	4
62.4%	37.5%	0.1%	5
62.4%	37.5%	0.1%	6
68.7%	31.2%	0.1%	7
68.7%	31.2%	0.1%	8
71.8%	28.1%	0.1%	9
71.8%	28.1%	0.1%	10
73.4%	26.5%	0.1%	11
73.4%	26.5%	0.1%	12
74.1%	25.8%	0.1%	13
74.1%	25.8%	0.1%	14

Compiler

Compiled 16 to 13 computations (18.8% saved)

sample29.0ms (0.6%)

Algorithm

1×

intervals

Results

9.0ms	195×	body	128	valid
5.0ms	16×	body	4096	valid
5.0ms	20×	body	2048	valid
3.0ms	15×	body	1024	valid
1.0ms	4×	body	512	valid
1.0ms	6×	body	256	valid

Compiler

Compiled 31 to 27 computations (12.9% saved)

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	23	23
1	23	23

prune5.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Error

37.9b

Counts

2 → 1

Compiler

Compiled 30 to 24 computations (20% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(sqrt.f64 (.f64 2 (+.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))) re)))
0.0b	(+.f64 (.f64 re re) (.f64 im im))
0.6b	(+.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
27.9b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite27.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-log-exp_binary64_2845` `pow1_binary64_2867`
7×	`*-un-lft-identity_binary64_2806`
6×	`add-sqr-sqrt_binary64_2828`
5×	`add-cube-cbrt_binary64_2841`
4×	`sqrt-div_binary64_2823` `add-exp-log_binary64_2844` `add-cbrt-cube_binary64_2842` `flip-+_binary64_2780` `flip3-+_binary64_2809` `sqrt-prod_binary64_2822`
3×	`sqrt-pow1_binary64_2824`
2×	`pow1/2_binary64_2886` `sum-log_binary64_2897` `associate-*r/_binary64_2748` `+-commutative_binary64_2736`
1×	`distribute-lft-out_binary64_2757` `rem-sqrt-square_binary64_2819` `pow-prod-down_binary64_2877`

Counts

4 → 51

Calls

4 calls:

8.0ms	(sqrt.f64 (.f64 2 (+.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))) re)))
7.0ms	(+.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
4.0ms	(+.f64 (.f64 re re) (.f64 im im))
4.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

series180.0ms (3.9%)

Counts

4 → 12

Calls

4 calls:

110.0ms	(sqrt.f64 (.f64 2 (+.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))) re)))
26.0ms	(+.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
23.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
21.0ms	(+.f64 (.f64 re re) (.f64 im im))

simplify78.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

63 → 63

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	4937	1040
1	4937	1040

prune79.0ms (1.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	56	7	63
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	56	8	64

Error

14.3b

Counts

64 → 8

Compiler

Compiled 1329 to 616 computations (53.6% saved)

localize13.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 re re) (.f64 im im))
0.4b	(.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 re (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))))))
0.6b	(+.f64 re (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))
27.9b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite31.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-sqr-sqrt_binary64_2828`
14×	`sqrt-prod_binary64_2822`
13×	`*-un-lft-identity_binary64_2806`
9×	`add-cube-cbrt_binary64_2841` `pow1_binary64_2867`
8×	`add-log-exp_binary64_2845`
7×	`associate-r_binary64_2746`
6×	`associate-l_binary64_2747` `add-exp-log_binary64_2844` `add-cbrt-cube_binary64_2842`
4×	`sqrt-div_binary64_2823` `flip-+_binary64_2780` `flip3-+_binary64_2809` `unswap-sqr_binary64_2774`
3×	`pow1/2_binary64_2886` `sqrt-pow1_binary64_2824` `pow-prod-down_binary64_2877`
2×	`distribute-lft-out_binary64_2757` `sum-log_binary64_2897` `associate-*r/_binary64_2748` `+-commutative_binary64_2736`
1×	`*-commutative_binary64_2737` `prod-exp_binary64_2855` `cbrt-unprod_binary64_2839` `rem-sqrt-square_binary64_2819` `sqrt-unprod_binary64_2826`

Counts

4 → 71

Calls

4 calls:

12.0ms	(.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 re (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))))))
6.0ms	(+.f64 re (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))
4.0ms	(+.f64 (.f64 re re) (.f64 im im))
4.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

series177.0ms (3.9%)

Counts

4 → 12

Calls

4 calls:

108.0ms	(.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 re (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))))))
28.0ms	(+.f64 re (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))
22.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
19.0ms	(+.f64 (.f64 re re) (.f64 im im))

simplify103.0ms (2.2%)

Algorithm

1×	egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 0 (85.0ms)

Iter	Nodes	Cost
0	4933	1606
1	4933	1606

prune80.0ms (1.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	82	1	83
Fresh	0	6	6
Picked	1	0	1
Done	0	1	1
Total	83	8	91

Error

14.3b

Counts

91 → 8

Compiler

Compiled 1909 to 832 computations (56.4% saved)

localize13.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 re re) (.f64 im im))
5.8b	(exp.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))))
14.7b	(+.f64 (exp.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))) re)
27.9b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite32.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`*-un-lft-identity_binary64_2806`
9×	`add-sqr-sqrt_binary64_2828`
8×	`add-log-exp_binary64_2845` `add-cube-cbrt_binary64_2841`
7×	`pow1_binary64_2867`
6×	`exp-sum_binary64_2852` `exp-prod_binary64_2858` `sqrt-prod_binary64_2822` `log-prod_binary64_2892`
4×	`sqrt-div_binary64_2823` `add-exp-log_binary64_2844` `add-cbrt-cube_binary64_2842` `flip-+_binary64_2780` `flip3-+_binary64_2809`
3×	`log-pow_binary64_2895`
2×	`pow1/2_binary64_2886` `log-div_binary64_2893` `sqrt-pow1_binary64_2824` `sum-log_binary64_2897` `exp-diff_binary64_2854` `+-commutative_binary64_2736`
1×	`distribute-lft-out_binary64_2757` `rem-sqrt-square_binary64_2819` `rem-exp-log_binary64_2846`

Counts

4 → 60

Calls

4 calls:

12.0ms	(+.f64 (exp.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))) re)
6.0ms	(exp.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))))
5.0ms	(+.f64 (.f64 re re) (.f64 im im))
4.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

series163.0ms (3.6%)

Counts

4 → 12

Calls

4 calls:

60.0ms	(+.f64 (exp.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))) re)
60.0ms	(exp.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))))
22.0ms	(+.f64 (.f64 re re) (.f64 im im))
21.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

simplify65.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5791	1049

prune76.0ms (1.7%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	67	5	72
Fresh	0	6	6
Picked	1	0	1
Done	0	1	1
Total	68	12	80

Error

14.2b

Counts

80 → 12

Compiler

Compiled 1651 to 777 computations (52.9% saved)

localize15.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 re re) (.f64 im im))
6.3b	(pow.f64 (exp.f64 1/2) (log.f64 (+.f64 (.f64 re re) (.f64 im im))))
14.7b	(+.f64 (pow.f64 (exp.f64 1/2) (log.f64 (+.f64 (.f64 re re) (.f64 im im)))) re)
29.2b	(log.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite30.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`*-un-lft-identity_binary64_2806`
9×	`add-sqr-sqrt_binary64_2828` `add-cube-cbrt_binary64_2841`
8×	`add-log-exp_binary64_2845`
7×	`pow1_binary64_2867`
6×	`log-prod_binary64_2892`
5×	`add-exp-log_binary64_2844`
4×	`add-cbrt-cube_binary64_2842` `log-div_binary64_2893` `pow-pow_binary64_2878` `pow-unpow_binary64_2883` `flip-+_binary64_2780` `flip3-+_binary64_2809`
3×	`unpow-prod-up_binary64_2884` `exp-prod_binary64_2858` `unpow-prod-down_binary64_2885`
2×	`pow-sub_binary64_2882` `sum-log_binary64_2897` `log-pow_binary64_2895` `+-commutative_binary64_2736`
1×	`pow-exp_binary64_2874` `distribute-lft-out_binary64_2757` `rem-log-exp_binary64_2847` `pow-to-exp_binary64_2875` `sqr-pow_binary64_2778`

Counts

4 → 63

Calls

4 calls:

10.0ms	(+.f64 (pow.f64 (exp.f64 1/2) (log.f64 (+.f64 (.f64 re re) (.f64 im im)))) re)
6.0ms	(pow.f64 (exp.f64 1/2) (log.f64 (+.f64 (.f64 re re) (.f64 im im))))
4.0ms	(log.f64 (+.f64 (.f64 re re) (.f64 im im)))
4.0ms	(+.f64 (.f64 re re) (.f64 im im))

series293.0ms (6.4%)

Counts

4 → 12

Calls

4 calls:

123.0ms	(pow.f64 (exp.f64 1/2) (log.f64 (+.f64 (.f64 re re) (.f64 im im))))
116.0ms	(+.f64 (pow.f64 (exp.f64 1/2) (log.f64 (+.f64 (.f64 re re) (.f64 im im)))) re)
36.0ms	(log.f64 (+.f64 (.f64 re re) (.f64 im im)))
19.0ms	(+.f64 (.f64 re re) (.f64 im im))

simplify108.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 0 (91.0ms)

Iter	Nodes	Cost
0	4907	1419
1	4907	1419

prune79.0ms (1.7%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	72	3	75
Fresh	0	10	10
Picked	1	0	1
Done	0	1	1
Total	73	14	87

Error

14.2b

Counts

87 → 14

Compiler

Compiled 1747 to 888 computations (49.2% saved)

regimes802.0ms (17.5%)

Accuracy

Total 9.3b remaining (35.1%)

Threshold costs 0b (0%)

Compiler

Compiled 5368 to 3677 computations (31.5% saved)

bsearch46.0ms (1%)

Steps

Iters	Range		Point
8	7.176643932878901e+84	3.70515156678489e+89	3.3170403780581015e+89
3	8.288243494352031e-227	1.138122476591049e-226	9.960539637944897e-227
9	-1.8512455906697865e-280	-1.3455920339171006e-287	-9.929618555609528e-284

Compiler

Compiled 1 to 2 computations (-100% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	58	96
1	58	96

end0.0ms (0%)

sample1.5s (32.5%)

Algorithm

1×

intervals

Results

301.0ms	6098×	body	128	valid
150.0ms	520×	body	4096	valid
149.0ms	647×	body	2048	valid
75.0ms	403×	body	1024	valid
29.0ms	218×	body	512	valid
10.0ms	114×	body	256	valid

Compiler

Compiled 754 to 508 computations (32.6% saved)

Details

analyze550.0ms (12%)

sample29.0ms (0.6%)

simplify7.0ms (0.2%)

prune5.0ms (0.1%)

localize10.0ms (0.2%)

rewrite27.0ms (0.6%)

series180.0ms (3.9%)

simplify78.0ms (1.7%)

prune79.0ms (1.7%)

localize13.0ms (0.3%)

rewrite31.0ms (0.7%)

series177.0ms (3.9%)

simplify103.0ms (2.2%)

prune80.0ms (1.7%)

localize13.0ms (0.3%)

rewrite32.0ms (0.7%)

series163.0ms (3.6%)

simplify65.0ms (1.4%)

prune76.0ms (1.7%)

localize15.0ms (0.3%)

rewrite30.0ms (0.6%)

series293.0ms (6.4%)

simplify108.0ms (2.4%)

prune79.0ms (1.7%)

regimes802.0ms (17.5%)

bsearch46.0ms (1%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample1.5s (32.5%)

Profiling