Details

analyze375.0ms (7.7%)

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
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
26.5%	73.3%	0.1%	8
33.5%	66.3%	0.1%	9
49.1%	50.7%	0.1%	10
56.9%	42.9%	0.1%	11
60.8%	39%	0.1%	12
69%	30.9%	0.1%	13
72.5%	27.3%	0.1%	14

Compiler

Compiled 13 to 10 computations (23.1% saved)

sample31.0ms (0.6%)

Algorithm

1×

intervals

Results

10.0ms	86×	body	1024	valid
5.0ms	34×	body	2048	valid
3.0ms	85×	body	128	valid
2.0ms	24×	body	512	valid
2.0ms	27×	body	256	valid

Compiler

Compiled 25 to 22 computations (12% saved)

simplify193.0ms (4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (22.0ms)

Iter	Nodes	Cost
0	475	17
1	475	17

prune2.0ms (0%)

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

Merged error: 42.0b

Counts

2 → 1

Compiler

Compiled 24 to 18 computations (25% saved)

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (*.f64 x y) z)
10.6b	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))

rewrite18.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-log-exp_binary64_462`
10×	`*-un-lft-identity_binary64_423`
5×	`add-sqr-sqrt_binary64_445`
4×	`cancel-sign-sub-inv_binary64_389` `sum-log_binary64_514`
3×	`add-cube-cbrt_binary64_458` `diff-log_binary64_515`
2×	`distribute-lft-out_binary64_374` `pow1_binary64_484` `distribute-lft-out--_binary64_375` `add-exp-log_binary64_461` `add-cbrt-cube_binary64_459`
1×	`sub-neg_binary64_416` `flip-+_binary64_397` `associate--r+_binary64_359` `+-commutative_binary64_353` `flip3--_binary64_427` `flip3-+_binary64_426` `difference-of-squares_binary64_392` `flip--_binary64_398`

Counts

2 → 32

Calls

2 calls:

11.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))
5.0ms	(+.f64 (*.f64 x y) z)

series122.0ms (2.5%)

Counts

2 → 6

Calls

2 calls:

84.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))
38.0ms	(+.f64 (*.f64 x y) z)

simplify62.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

38 → 38

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5122	667

prune99.0ms (2%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	30	8	38
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	31	8	39

Merged error: 41.5b

Counts

39 → 8

Compiler

Compiled 1919 to 992 computations (48.3% saved)

localize10.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 z (*.f64 x y))
10.6b	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))

rewrite16.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-log-exp_binary64_462`
10×	`*-un-lft-identity_binary64_423`
5×	`add-sqr-sqrt_binary64_445`
4×	`cancel-sign-sub-inv_binary64_389` `sum-log_binary64_514`
3×	`add-cube-cbrt_binary64_458` `diff-log_binary64_515`
2×	`distribute-lft-out_binary64_374` `pow1_binary64_484` `distribute-lft-out--_binary64_375` `add-exp-log_binary64_461` `add-cbrt-cube_binary64_459`
1×	`sub-neg_binary64_416` `flip-+_binary64_397` `associate--r+_binary64_359` `+-commutative_binary64_353` `flip3--_binary64_427` `flip3-+_binary64_426` `difference-of-squares_binary64_392` `flip--_binary64_398`

Counts

2 → 32

Calls

2 calls:

9.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
3.0ms	(+.f64 z (*.f64 x y))

series118.0ms (2.4%)

Counts

2 → 6

Calls

2 calls:

75.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
42.0ms	(+.f64 z (*.f64 x y))

simplify62.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

38 → 38

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5112	661

prune99.0ms (2%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	34	4	38
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	34	12	46

Merged error: 41.4b

Counts

46 → 12

Compiler

Compiled 2012 to 1094 computations (45.6% saved)

localize13.0ms (0.3%)

Local error

Found 4 expressions with local error:

6.9b	(cbrt.f64 (+.f64 z (*.f64 x y)))
6.9b	(cbrt.f64 (+.f64 z (*.f64 x y)))
6.9b	(cbrt.f64 (+.f64 z (*.f64 x y)))
31.7b	(-.f64 (fma.f64 x y z) (+.f64 1 (.f64 (.f64 (cbrt.f64 (+.f64 z (.f64 x y))) (cbrt.f64 (+.f64 z (.f64 x y)))) (cbrt.f64 (+.f64 z (*.f64 x y))))))

rewrite22.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`*-un-lft-identity_binary64_423` `add-sqr-sqrt_binary64_445`
9×	`add-log-exp_binary64_462` `cbrt-prod_binary64_454`
8×	`add-cube-cbrt_binary64_458`
6×	`cbrt-div_binary64_455`
4×	`pow1_binary64_484` `add-exp-log_binary64_461` `add-cbrt-cube_binary64_459`
3×	`flip-+_binary64_397` `cancel-sign-sub-inv_binary64_389` `pow1/3_binary64_505` `flip3-+_binary64_426`
2×	`diff-log_binary64_515`
1×	`sub-neg_binary64_416` `associate--r+_binary64_359` `flip3--_binary64_427` `distribute-lft-out--_binary64_375` `difference-of-squares_binary64_392` `flip--_binary64_398` `sum-log_binary64_514`

Counts

4 → 57

Calls

4 calls:

7.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (.f64 (.f64 (cbrt.f64 (+.f64 z (.f64 x y))) (cbrt.f64 (+.f64 z (.f64 x y)))) (cbrt.f64 (+.f64 z (*.f64 x y))))))
3.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
3.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
3.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))

series658.0ms (13.5%)

Counts

4 → 12

Calls

4 calls:

195.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
191.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
180.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
91.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (.f64 (.f64 (cbrt.f64 (+.f64 z (.f64 x y))) (cbrt.f64 (+.f64 z (.f64 x y)))) (cbrt.f64 (+.f64 z (*.f64 x y))))))

simplify73.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5077	1238

prune351.0ms (7.2%)

Pruning

20 alts after pruning (18 fresh and 2 done)

	Pruned	Kept	Total
New	59	10	69
Fresh	2	8	10
Picked	0	1	1
Done	0	1	1
Total	61	20	81

Merged error: 41.3b

Counts

81 → 20

Compiler

Compiled 8302 to 3787 computations (54.4% saved)

localize21.0ms (0.4%)

Local error

Found 4 expressions with local error:

6.9b	(cbrt.f64 (+.f64 z (*.f64 x y)))
6.9b	(cbrt.f64 (+.f64 z (*.f64 x y)))
6.9b	(cbrt.f64 (+.f64 z (*.f64 x y)))
30.9b	(-.f64 (fma.f64 x y z) (+.f64 1 (.f64 (.f64 (cbrt.f64 (+.f64 z (.f64 x y))) (cbrt.f64 (+.f64 z (.f64 x y)))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (+.f64 z (.f64 x y)))) (cbrt.f64 (cbrt.f64 (+.f64 z (.f64 x y))))) (cbrt.f64 (cbrt.f64 (+.f64 z (*.f64 x y))))))))

rewrite27.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`*-un-lft-identity_binary64_423` `add-sqr-sqrt_binary64_445`
9×	`add-log-exp_binary64_462` `cbrt-prod_binary64_454`
8×	`add-cube-cbrt_binary64_458`
6×	`cbrt-div_binary64_455`
4×	`pow1_binary64_484` `add-exp-log_binary64_461` `add-cbrt-cube_binary64_459`
3×	`flip-+_binary64_397` `cancel-sign-sub-inv_binary64_389` `pow1/3_binary64_505` `flip3-+_binary64_426`
2×	`diff-log_binary64_515`
1×	`sub-neg_binary64_416` `associate--r+_binary64_359` `flip3--_binary64_427` `distribute-lft-out--_binary64_375` `difference-of-squares_binary64_392` `flip--_binary64_398` `sum-log_binary64_514`

Counts

4 → 57

Calls

4 calls:

7.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (.f64 (.f64 (cbrt.f64 (+.f64 z (.f64 x y))) (cbrt.f64 (+.f64 z (.f64 x y)))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (+.f64 z (.f64 x y)))) (cbrt.f64 (cbrt.f64 (+.f64 z (.f64 x y))))) (cbrt.f64 (cbrt.f64 (+.f64 z (*.f64 x y))))))))
3.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
3.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
3.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))

series692.0ms (14.2%)

Counts

4 → 12

Calls

4 calls:

203.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
195.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
187.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
107.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (.f64 (.f64 (cbrt.f64 (+.f64 z (.f64 x y))) (cbrt.f64 (+.f64 z (.f64 x y)))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (+.f64 z (.f64 x y)))) (cbrt.f64 (cbrt.f64 (+.f64 z (.f64 x y))))) (cbrt.f64 (cbrt.f64 (+.f64 z (*.f64 x y))))))))

simplify81.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4964	1184
1	4964	1184

prune196.0ms (4%)

Pruning

20 alts after pruning (18 fresh and 2 done)

	Pruned	Kept	Total
New	66	3	69
Fresh	2	15	17
Picked	1	0	1
Done	0	2	2
Total	69	20	89

Merged error: 41.3b

Counts

89 → 20

Compiler

Compiled 5550 to 1874 computations (66.2% saved)

regimes144.0ms (3%)

Compiler: Compiled 1932 to 957 computations (50.5% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	92	22
1	92	22

end0.0ms (0%)

sample1.4s (28.2%)

Algorithm

1×

intervals

Results

313.0ms	2592×	body	1024	valid
188.0ms	1264×	body	2048	valid
110.0ms	1183×	body	512	valid
85.0ms	2377×	body	128	valid
38.0ms	583×	body	256	valid
0.0ms	1×	body	4096	valid

Compiler

Compiled 671 to 342 computations (49% saved)

Details

analyze375.0ms (7.7%)

sample31.0ms (0.6%)

simplify193.0ms (4%)

prune2.0ms (0%)

localize8.0ms (0.2%)

rewrite18.0ms (0.4%)

series122.0ms (2.5%)

simplify62.0ms (1.3%)

prune99.0ms (2%)

localize10.0ms (0.2%)

rewrite16.0ms (0.3%)

series118.0ms (2.4%)

simplify62.0ms (1.3%)

prune99.0ms (2%)

localize13.0ms (0.3%)

rewrite22.0ms (0.5%)

series658.0ms (13.5%)

simplify73.0ms (1.5%)

prune351.0ms (7.2%)

localize21.0ms (0.4%)

rewrite27.0ms (0.6%)

series692.0ms (14.2%)

simplify81.0ms (1.7%)

prune196.0ms (4%)

regimes144.0ms (3%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample1.4s (28.2%)

Profiling