Details

analyze2.2s (14.8%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
1.6%	98.2%	0.2%	9
2.3%	97.5%	0.2%	10
11.7%	88.1%	0.2%	11
13.1%	74.3%	12.7%	12
16.1%	70.5%	13.5%	13
18.6%	68%	13.5%	14

Compiler

Compiled 14 to 13 computations (7.1% saved)

sample145.0ms (1%)

Algorithm

1×

intervals

Results

46.0ms	53×	body	1024	valid
21.0ms	45×	body	512	valid
19.0ms	10×	body	2048	valid
18.0ms	127×	body	128	valid
6.0ms	21×	body	256	valid
5.0ms	51×	body	128	nan
3.0ms	6×	body	1024	nan
2.0ms	7×	body	512	nan
2.0ms	22×	body	128	overflowed
0.0ms	1×	body	128	invalid

Compiler

Compiled 27 to 29 computations (-7.4% saved)

simplify762.0ms (5.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (590.0ms)

Iter	Nodes	Cost
0	5254	20

prune5.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: 23.1b

Counts

2 → 1

Compiler

Compiled 26 to 24 computations (7.7% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 y (exp.f64 z))
0.1b	(/.f64 (log.f64 (+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z)))) t)
2.5b	(log.f64 (+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z))))
2.5b	(+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z)))

rewrite71.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary64_8625`
17×	`add-cube-cbrt_binary64_8638` `*-un-lft-identity_binary64_8603`
12×	`times-frac_binary64_8609`
11×	`pow1_binary64_8664`
9×	`add-log-exp_binary64_8642`
8×	`add-exp-log_binary64_8641` `add-cbrt-cube_binary64_8639`
5×	`log-pow_binary64_8692`
4×	`associate-/l*_binary64_8548` `log-div_binary64_8690` `associate-+l+_binary64_8536`
3×	`flip3-+_binary64_8606` `associate-l_binary64_8544` `flip-+_binary64_8577` `associate-/r_binary64_8547` `log-prod_binary64_8689` `cancel-sign-sub-inv_binary64_8569` `associate-r*_binary64_8543`
2×	`div-sub_binary64_8608` `sum-log_binary64_8694`
1×	`div-exp_binary64_8654` `cbrt-unprod_binary64_8636` `rem-log-exp_binary64_8644` `associate-+l-_binary64_8538` `clear-num_binary64_8602` `diff-log_binary64_8695` `cbrt-undiv_binary64_8637` `*-commutative_binary64_8534` `div-inv_binary64_8600` `frac-2neg_binary64_8614` `prod-exp_binary64_8652` `sub-neg_binary64_8596` `+-commutative_binary64_8533` `pow-prod-down_binary64_8674` `unswap-sqr_binary64_8571`

Counts

4 → 82

Calls

4 calls:

18.0ms	(/.f64 (log.f64 (+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z)))) t)
15.0ms	(+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z)))
13.0ms	(log.f64 (+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z))))
11.0ms	(*.f64 y (exp.f64 z))

series613.0ms (4.1%)

Counts

4 → 12

Calls

4 calls:

376.0ms	(/.f64 (log.f64 (+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z)))) t)
142.0ms	(log.f64 (+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z))))
57.0ms	(+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z)))
38.0ms	(*.f64 y (exp.f64 z))

simplify152.0ms (1%)

Algorithm

1×	egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 0 (109.0ms)

Iter	Nodes	Cost
0	5141	1998

prune231.0ms (1.6%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	87	7	94
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	88	7	95

Merged error: 4.2b

Counts

95 → 7

Compiler

Compiled 2112 to 1130 computations (46.5% saved)

localize31.0ms (0.2%)

Local error

Found 4 expressions with local error:

2.3b	(.f64 (.f64 1/2 (.f64 y (.f64 z z))) (-.f64 1 y))
2.8b	(+.f64 (.f64 y z) (.f64 (.f64 1/2 (.f64 y (*.f64 z z))) (-.f64 1 y)))
5.2b	(.f64 y (.f64 z z))
5.6b	(/.f64 (+.f64 (.f64 y z) (.f64 (.f64 1/2 (.f64 y (*.f64 z z))) (-.f64 1 y))) t)

rewrite88.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`add-exp-log_binary64_8641` `add-cbrt-cube_binary64_8639`
23×	`pow1_binary64_8664`
22×	`add-sqr-sqrt_binary64_8625`
21×	`*-un-lft-identity_binary64_8603`
18×	`add-cube-cbrt_binary64_8638`
13×	`cbrt-unprod_binary64_8636` `prod-exp_binary64_8652` `pow-prod-down_binary64_8674`
12×	`cancel-sign-sub-inv_binary64_8569`
9×	`times-frac_binary64_8609`
8×	`associate-+r+_binary64_8535` `distribute-lft-in_binary64_8552` `distribute-rgt-in_binary64_8553`
7×	`associate-r_binary64_8543`
6×	`add-log-exp_binary64_8642`
4×	`associate-l_binary64_8544` `sub-neg_binary64_8596`
3×	`associate-/l_binary64_8548` `associate-/r_binary64_8547`
2×	`difference-of-squares_binary64_8572` `flip3-+_binary64_8606` `associate-r/_binary64_8545` `flip-+_binary64_8577` `associate-/l/_binary64_8550` `-commutative_binary64_8534`
1×	`div-exp_binary64_8654` `flip3--_binary64_8607` `distribute-lft-out--_binary64_8555` `clear-num_binary64_8602` `cbrt-undiv_binary64_8637` `div-inv_binary64_8600` `frac-2neg_binary64_8614` `flip--_binary64_8578` `sum-log_binary64_8694` `+-commutative_binary64_8533` `unswap-sqr_binary64_8571`

Counts

4 → 104

Calls

4 calls:

28.0ms	(.f64 (.f64 1/2 (.f64 y (.f64 z z))) (-.f64 1 y))
15.0ms	(/.f64 (+.f64 (.f64 y z) (.f64 (.f64 1/2 (.f64 y (*.f64 z z))) (-.f64 1 y))) t)
12.0ms	(+.f64 (.f64 y z) (.f64 (.f64 1/2 (.f64 y (*.f64 z z))) (-.f64 1 y)))
12.0ms	(.f64 y (.f64 z z))

series399.0ms (2.7%)

Counts

4 → 12

Calls

4 calls:

172.0ms	(/.f64 (+.f64 (.f64 y z) (.f64 (.f64 1/2 (.f64 y (*.f64 z z))) (-.f64 1 y))) t)
90.0ms	(.f64 (.f64 1/2 (.f64 y (.f64 z z))) (-.f64 1 y))
86.0ms	(+.f64 (.f64 y z) (.f64 (.f64 1/2 (.f64 y (*.f64 z z))) (-.f64 1 y)))
50.0ms	(.f64 y (.f64 z z))

simplify140.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 0 (88.0ms)

Iter	Nodes	Cost
0	5004	2470

prune271.0ms (1.8%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	110	6	116
Fresh	0	6	6
Picked	1	0	1
Done	0	0	0
Total	111	12	123

Merged error: 4.0b

Counts

123 → 12

Compiler

Compiled 3224 to 1637 computations (49.2% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 (.f64 y z) z)
2.3b	(.f64 (.f64 1/2 (.f64 (.f64 y z) z)) (-.f64 1 y))
2.8b	(+.f64 (.f64 y z) (.f64 (.f64 1/2 (.f64 (*.f64 y z) z)) (-.f64 1 y)))
5.6b	(/.f64 (+.f64 (.f64 y z) (.f64 (.f64 1/2 (.f64 (*.f64 y z) z)) (-.f64 1 y))) t)

rewrite90.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`add-exp-log_binary64_8641` `add-cbrt-cube_binary64_8639`
23×	`pow1_binary64_8664`
21×	`add-sqr-sqrt_binary64_8625` `*-un-lft-identity_binary64_8603`
18×	`add-cube-cbrt_binary64_8638`
13×	`cbrt-unprod_binary64_8636` `prod-exp_binary64_8652` `pow-prod-down_binary64_8674`
12×	`cancel-sign-sub-inv_binary64_8569`
9×	`times-frac_binary64_8609` `associate-r_binary64_8543`
8×	`associate-+r+_binary64_8535` `distribute-lft-in_binary64_8552` `distribute-rgt-in_binary64_8553`
6×	`add-log-exp_binary64_8642`
4×	`sub-neg_binary64_8596`
3×	`associate-/l_binary64_8548` `associate-/r_binary64_8547`
2×	`difference-of-squares_binary64_8572` `flip3-+_binary64_8606` `associate-l_binary64_8544` `associate-r/_binary64_8545` `flip-+_binary64_8577` `associate-/l/_binary64_8550` `-commutative_binary64_8534`
1×	`div-exp_binary64_8654` `flip3--_binary64_8607` `distribute-lft-out--_binary64_8555` `clear-num_binary64_8602` `cbrt-undiv_binary64_8637` `div-inv_binary64_8600` `frac-2neg_binary64_8614` `flip--_binary64_8578` `sum-log_binary64_8694` `+-commutative_binary64_8533`

Counts

4 → 103

Calls

4 calls:

27.0ms	(.f64 (.f64 1/2 (.f64 (.f64 y z) z)) (-.f64 1 y))
15.0ms	(/.f64 (+.f64 (.f64 y z) (.f64 (.f64 1/2 (.f64 (*.f64 y z) z)) (-.f64 1 y))) t)
12.0ms	(+.f64 (.f64 y z) (.f64 (.f64 1/2 (.f64 (*.f64 y z) z)) (-.f64 1 y)))
11.0ms	(.f64 (.f64 y z) z)

series397.0ms (2.7%)

Counts

4 → 12

Calls

4 calls:

168.0ms	(/.f64 (+.f64 (.f64 y z) (.f64 (.f64 1/2 (.f64 (*.f64 y z) z)) (-.f64 1 y))) t)
95.0ms	(.f64 (.f64 1/2 (.f64 (.f64 y z) z)) (-.f64 1 y))
85.0ms	(+.f64 (.f64 y z) (.f64 (.f64 1/2 (.f64 (*.f64 y z) z)) (-.f64 1 y)))
48.0ms	(.f64 (.f64 y z) z)

simplify182.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 0 (130.0ms)

Iter	Nodes	Cost
0	5215	2458

prune250.0ms (1.7%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	114	1	115
Fresh	0	11	11
Picked	1	0	1
Done	0	0	0
Total	115	12	127

Merged error: 4.0b

Counts

127 → 12

Compiler

Compiled 3236 to 1653 computations (48.9% saved)

localize34.0ms (0.2%)

Local error

Found 4 expressions with local error:

2.3b	(.f64 (.f64 1/2 (.f64 y (.f64 z z))) (-.f64 1 y))
2.8b	(+.f64 (.f64 y z) (.f64 (.f64 1/2 (.f64 y (*.f64 z z))) (-.f64 1 y)))
5.2b	(.f64 y (.f64 z z))
5.6b	(.f64 (+.f64 (.f64 y z) (.f64 (.f64 1/2 (.f64 y (.f64 z z))) (-.f64 1 y))) (/.f64 1 t))

rewrite98.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

32×	`add-exp-log_binary64_8641`
29×	`add-sqr-sqrt_binary64_8625`
28×	`add-cbrt-cube_binary64_8639`
25×	`pow1_binary64_8664`
22×	`*-un-lft-identity_binary64_8603`
20×	`associate-r_binary64_8543`
18×	`add-cube-cbrt_binary64_8638`
17×	`prod-exp_binary64_8652`
15×	`cbrt-unprod_binary64_8636`
14×	`pow-prod-down_binary64_8674`
12×	`cancel-sign-sub-inv_binary64_8569`
11×	`times-frac_binary64_8609`
8×	`associate-+r+_binary64_8535` `distribute-lft-in_binary64_8552` `distribute-rgt-in_binary64_8553`
7×	`associate-l_binary64_8544`
6×	`add-log-exp_binary64_8642`
4×	`sub-neg_binary64_8596` `unswap-sqr_binary64_8571`
3×	`flip3-+_binary64_8606` `associate-r/_binary64_8545` `flip-+_binary64_8577` `-commutative_binary64_8534`
2×	`div-exp_binary64_8654` `difference-of-squares_binary64_8572` `frac-times_binary64_8613` `associate-*l/_binary64_8546`
1×	`flip3--_binary64_8607` `distribute-lft-out--_binary64_8555` `cbrt-undiv_binary64_8637` `1-exp_binary64_8647` `div-inv_binary64_8600` `un-div-inv_binary64_8601` `flip--_binary64_8578` `rec-exp_binary64_8653` `sum-log_binary64_8694` `+-commutative_binary64_8533`

Counts

4 → 115

Calls

4 calls:

27.0ms	(.f64 (.f64 1/2 (.f64 y (.f64 z z))) (-.f64 1 y))
22.0ms	(.f64 (+.f64 (.f64 y z) (.f64 (.f64 1/2 (.f64 y (.f64 z z))) (-.f64 1 y))) (/.f64 1 t))
12.0ms	(+.f64 (.f64 y z) (.f64 (.f64 1/2 (.f64 y (*.f64 z z))) (-.f64 1 y)))
12.0ms	(.f64 y (.f64 z z))

series394.0ms (2.7%)

Counts

4 → 12

Calls

4 calls:

172.0ms	(.f64 (+.f64 (.f64 y z) (.f64 (.f64 1/2 (.f64 y (.f64 z z))) (-.f64 1 y))) (/.f64 1 t))
90.0ms	(.f64 (.f64 1/2 (.f64 y (.f64 z z))) (-.f64 1 y))
83.0ms	(+.f64 (.f64 y z) (.f64 (.f64 1/2 (.f64 y (*.f64 z z))) (-.f64 1 y)))
48.0ms	(.f64 y (.f64 z z))

simplify114.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5293	2669

prune263.0ms (1.8%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	127	0	127
Fresh	0	11	11
Picked	0	1	1
Done	0	0	0
Total	127	12	139

Merged error: 4.0b

Counts

139 → 12

Compiler

Compiled 3379 to 1747 computations (48.3% saved)

regimes1.6s (10.8%)

Compiler: Compiled 8603 to 6702 computations (22.1% saved)

bsearch34.0ms (0.2%)

Steps

Iters	Range		Point
3	-2.8641078075530097e-11	-2.464869951011764e-11	-2.7393459773838706e-11

Compiler

Compiled 1 to 4 computations (-300% saved)

simplify20.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (16.0ms)

Iter	Nodes	Cost
0	366	54
1	366	54

end0.0ms (0%)

sample6.2s (41.8%)

Algorithm

1×

intervals

Results

1.5s	1783×	body	1024	valid
673.0ms	1419×	body	512	valid
551.0ms	328×	body	2048	valid
531.0ms	3756×	body	128	valid
206.0ms	714×	body	256	valid
147.0ms	1600×	body	128	nan
91.0ms	825×	body	128	overflowed
88.0ms	167×	body	1024	nan
82.0ms	240×	body	512	nan
29.0ms	138×	body	256	nan
5.0ms	19×	body	128	invalid
0.0ms	1×	body	256	invalid

Compiler

Compiled 984 to 759 computations (22.9% saved)

Details

analyze2.2s (14.8%)

sample145.0ms (1%)

simplify762.0ms (5.2%)

prune5.0ms (0%)

localize21.0ms (0.1%)

rewrite71.0ms (0.5%)

series613.0ms (4.1%)

simplify152.0ms (1%)

prune231.0ms (1.6%)

localize31.0ms (0.2%)

rewrite88.0ms (0.6%)

series399.0ms (2.7%)

simplify140.0ms (0.9%)

prune271.0ms (1.8%)

localize25.0ms (0.2%)

rewrite90.0ms (0.6%)

series397.0ms (2.7%)

simplify182.0ms (1.2%)

prune250.0ms (1.7%)

localize34.0ms (0.2%)

rewrite98.0ms (0.7%)

series394.0ms (2.7%)

simplify114.0ms (0.8%)

prune263.0ms (1.8%)

regimes1.6s (10.8%)

bsearch34.0ms (0.2%)

simplify20.0ms (0.1%)

end0.0ms (0%)

sample6.2s (41.8%)

Profiling