Details

analyze9.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	50%	50%	3
12.5%	25%	62.5%	4
18.7%	12.5%	68.8%	5
21.9%	6.2%	71.9%	6
23.4%	3.1%	73.5%	7
24.2%	1.6%	74.2%	8
24.6%	0.8%	74.6%	9
24.8%	0.4%	74.8%	10
24.9%	0.2%	74.9%	11
24.9%	0.1%	75%	12
25%	0%	75%	13
25%	0%	75%	14

Compiler

Compiled 14 to 11 computations (21.4% saved)

sample35.0ms (0.2%)

Algorithm

1×

intervals

Results

25.0ms

256×

body

128

valid

Compiler

Compiled 27 to 22 computations (18.5% saved)

simplify1.3s (6.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (973.0ms)

Iter	Nodes	Cost
0	7544	20

prune12.0ms (0.1%)

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

Counts

2 → 1

Compiler

Compiled 26 to 20 computations (23.1% saved)

localize45.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x)
0.0b	(+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x))
0.2b	(log.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x)))

rewrite119.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

63×	`*-un-lft-identity_binary64_1101`
50×	`times-frac_binary64_1107`
39×	`add-sqr-sqrt_binary64_1123`
29×	`add-cube-cbrt_binary64_1136`
26×	`sqrt-prod_binary64_1117`
16×	`distribute-lft-out_binary64_1052`
15×	`log-prod_binary64_1187`
13×	`div-inv_binary64_1098`
8×	`difference-of-squares_binary64_1070` `associate-/l*_binary64_1046`
6×	`distribute-rgt-out_binary64_1054` `add-exp-log_binary64_1139`
5×	`add-log-exp_binary64_1140` `add-cbrt-cube_binary64_1137`
4×	`pow1_binary64_1162`
3×	`log-div_binary64_1188` `associate-/r*_binary64_1045`
2×	`flip3-+_binary64_1104` `associate-/l/_binary64_1048` `sqrt-div_binary64_1118` `flip-+_binary64_1075` `frac-add_binary64_1109` `distribute-rgt1-in_binary64_1057`
1×	`frac-2neg_binary64_1112` `sum-log_binary64_1192` `rem-log-exp_binary64_1142` `clear-num_binary64_1100` `flip--_binary64_1076` `flip3--_binary64_1105` `+-commutative_binary64_1031` `div-exp_binary64_1152` `cbrt-undiv_binary64_1135` `log-pow_binary64_1190`

Counts

3 → 100

Calls

3 calls:

54.0ms	(log.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x)))
37.0ms	(+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x))
12.0ms	(/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x)

series187.0ms (1%)

Counts

3 → 9

Calls

3 calls:

84.0ms	(log.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x)))
65.0ms	(/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x)
39.0ms	(+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x))

simplify165.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (118.0ms)

Iter	Nodes	Cost
0	4856	2437
1	4856	2437

prune2.2s (11.4%)

Pruning

28 alts after pruning (27 fresh and 1 done)

	Pruned	Kept	Total
New	82	27	109
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	82	28	110

Merged error: 0b

Counts

110 → 28

Compiler

Compiled 2874 to 1899 computations (33.9% saved)

localize40.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.2b	(+.f64 (neg.f64 (log.f64 x)) (log.f64 (+.f64 1 (sqrt.f64 (-.f64 1 (*.f64 x x))))))

rewrite44.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`*-un-lft-identity_binary64_1101`
8×	`distribute-lft-out_binary64_1052` `log-prod_binary64_1187`
6×	`pow1_binary64_1162`
5×	`associate-+r+_binary64_1033` `log-pow_binary64_1190`
4×	`distribute-rgt-neg-in_binary64_1059` `add-sqr-sqrt_binary64_1123`
3×	`add-cube-cbrt_binary64_1136` `distribute-neg-in_binary64_1062` `associate-+l+_binary64_1034`
2×	`add-log-exp_binary64_1140` `sum-log_binary64_1192` `associate-+r-_binary64_1035` `flip3-+_binary64_1104` `flip-+_binary64_1075` `log-div_binary64_1188`
1×	`add-exp-log_binary64_1139` `neg-log_binary64_1194` `neg-sub0_binary64_1096` `sqrt-prod_binary64_1117` `add-cbrt-cube_binary64_1137` `associate-+l-_binary64_1036` `+-commutative_binary64_1031`

Counts

1 → 29

Calls

1 calls:

39.0ms

(+.f64 (neg.f64 (log.f64 x)) (log.f64 (+.f64 1 (sqrt.f64 (-.f64 1 (*.f64 x x))))))

series169.0ms (0.9%)

Counts

1 → 3

Calls

1 calls:

169.0ms

(+.f64 (neg.f64 (log.f64 x)) (log.f64 (+.f64 1 (sqrt.f64 (-.f64 1 (*.f64 x x))))))

simplify114.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

32 → 32

Iterations

Useful iterations: 0 (88.0ms)

Iter	Nodes	Cost
0	4859	700
1	4859	700

prune399.0ms (2%)

Pruning

41 alts after pruning (39 fresh and 2 done)

	Pruned	Kept	Total
New	19	13	32
Fresh	0	26	26
Picked	0	1	1
Done	0	1	1
Total	19	41	60

Merged error: 0b

Counts

60 → 41

Compiler

Compiled 1629 to 1136 computations (30.3% saved)

localize24.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.2b	(-.f64 (log.f64 (+.f64 1 (sqrt.f64 (-.f64 1 (*.f64 x x))))) (log.f64 x))

rewrite27.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`*-un-lft-identity_binary64_1101`
8×	`log-prod_binary64_1187`
7×	`add-sqr-sqrt_binary64_1123`
6×	`pow1_binary64_1162`
5×	`associate--l+_binary64_1038` `log-pow_binary64_1190`
4×	`distribute-lft-out--_binary64_1053` `add-cube-cbrt_binary64_1136` `cancel-sign-sub-inv_binary64_1067`
3×	`associate--r+_binary64_1037`
2×	`distribute-lft-out_binary64_1052` `log-div_binary64_1188` `associate--l-_binary64_1039`
1×	`diff-log_binary64_1193` `difference-of-squares_binary64_1070` `add-log-exp_binary64_1140` `add-exp-log_binary64_1139` `sub-neg_binary64_1094` `flip--_binary64_1076` `flip3--_binary64_1105` `flip3-+_binary64_1104` `sqrt-prod_binary64_1117` `add-cbrt-cube_binary64_1137` `flip-+_binary64_1075`

Counts

1 → 30

Calls

1 calls:

22.0ms

(-.f64 (log.f64 (+.f64 1 (sqrt.f64 (-.f64 1 (*.f64 x x))))) (log.f64 x))

series147.0ms (0.7%)

Counts

1 → 3

Calls

1 calls:

146.0ms

(-.f64 (log.f64 (+.f64 1 (sqrt.f64 (-.f64 1 (*.f64 x x))))) (log.f64 x))

simplify193.0ms (1%)

Algorithm

1×	egg-herbie

Counts

33 → 33

Iterations

Useful iterations: 0 (145.0ms)

Iter	Nodes	Cost
0	5061	750

prune1.0s (5.2%)

Pruning

52 alts after pruning (49 fresh and 3 done)

	Pruned	Kept	Total
New	19	14	33
Fresh	3	35	38
Picked	0	1	1
Done	0	2	2
Total	22	52	74

Merged error: 0b

Counts

74 → 52

Compiler

Compiled 2136 to 1562 computations (26.9% saved)

localize29.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.2b	(+.f64 (log.f64 (+.f64 1 (sqrt.f64 (-.f64 1 (*.f64 x x))))) (neg.f64 (log.f64 x)))

rewrite37.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`*-un-lft-identity_binary64_1101`
8×	`distribute-lft-out_binary64_1052` `log-prod_binary64_1187`
6×	`pow1_binary64_1162`
5×	`log-pow_binary64_1190` `associate-+l+_binary64_1034`
4×	`distribute-rgt-neg-in_binary64_1059` `add-sqr-sqrt_binary64_1123`
3×	`associate-+r+_binary64_1033` `add-cube-cbrt_binary64_1136` `distribute-neg-in_binary64_1062`
2×	`add-log-exp_binary64_1140` `sum-log_binary64_1192` `flip3-+_binary64_1104` `associate-+l-_binary64_1036` `flip-+_binary64_1075` `log-div_binary64_1188`
1×	`add-exp-log_binary64_1139` `associate-+r-_binary64_1035` `neg-log_binary64_1194` `unsub-neg_binary64_1095` `neg-sub0_binary64_1096` `sqrt-prod_binary64_1117` `add-cbrt-cube_binary64_1137` `+-commutative_binary64_1031`

Counts

1 → 30

Calls

1 calls:

31.0ms

(+.f64 (log.f64 (+.f64 1 (sqrt.f64 (-.f64 1 (*.f64 x x))))) (neg.f64 (log.f64 x)))

series155.0ms (0.8%)

Counts

1 → 3

Calls

1 calls:

155.0ms

(+.f64 (log.f64 (+.f64 1 (sqrt.f64 (-.f64 1 (*.f64 x x))))) (neg.f64 (log.f64 x)))

simplify335.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

33 → 33

Iterations

Useful iterations: 0 (285.0ms)

Iter	Nodes	Cost
0	4883	741
1	4883	741

prune803.0ms (4.1%)

Pruning

52 alts after pruning (48 fresh and 4 done)

	Pruned	Kept	Total
New	32	1	33
Fresh	1	47	48
Picked	0	1	1
Done	0	3	3
Total	33	52	85

Merged error: 0b

Counts

85 → 52

Compiler

Compiled 768 to 544 computations (29.2% saved)

regimes1.7s (8.6%)

Compiler: Compiled 9087 to 6947 computations (23.6% saved)

bsearch2.7s (13.9%)

simplify45.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	48	24
1	48	24

end0.0ms (0%)

sample7.6s (38.6%)

Algorithm

1×

intervals

Results

1.1s	8000×	body	128	valid
0.0ms	4×	body	128	nan

Compiler

Compiled 2952 to 2272 computations (23% saved)

Pareto

0.0027622381281684704

Details

analyze9.0ms (0%)

sample35.0ms (0.2%)

simplify1.3s (6.4%)

prune12.0ms (0.1%)

localize45.0ms (0.2%)

rewrite119.0ms (0.6%)

series187.0ms (1%)

simplify165.0ms (0.8%)

prune2.2s (11.4%)

localize40.0ms (0.2%)

rewrite44.0ms (0.2%)

series169.0ms (0.9%)

simplify114.0ms (0.6%)

prune399.0ms (2%)

localize24.0ms (0.1%)

rewrite27.0ms (0.1%)

series147.0ms (0.7%)

simplify193.0ms (1%)

prune1.0s (5.2%)

localize29.0ms (0.1%)

rewrite37.0ms (0.2%)

series155.0ms (0.8%)

simplify335.0ms (1.7%)

prune803.0ms (4.1%)

regimes1.7s (8.6%)

bsearch2.7s (13.9%)

simplify45.0ms (0.2%)

end0.0ms (0%)

sample7.6s (38.6%)

Profiling