Details

analyze1.1s (12.2%)

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)

sample86.0ms (1%)

Algorithm

1×

intervals

Results

23.0ms	52×	body	1024	valid
12.0ms	13×	body	2048	valid
12.0ms	49×	body	512	valid
9.0ms	125×	body	128	valid
3.0ms	61×	body	128	nan
3.0ms	17×	body	256	valid
1.0ms	26×	body	128	overflowed
1.0ms	8×	body	512	nan
1.0ms	5×	body	1024	nan
1.0ms	5×	body	256	nan
0.0ms	2×	body	128	invalid

Compiler

Compiled 27 to 29 computations (-7.4% saved)

simplify386.0ms (4.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (295.0ms)

Iter	Nodes	Cost
0	5254	20

prune3.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

24.6b

Counts

2 → 1

Compiler

Compiled 26 to 24 computations (7.7% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite33.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary64_8966`
17×	`add-cube-cbrt_binary64_8979` `*-un-lft-identity_binary64_8944`
12×	`times-frac_binary64_8950`
11×	`pow1_binary64_9005`
9×	`add-log-exp_binary64_8983`
8×	`add-cbrt-cube_binary64_8980` `add-exp-log_binary64_8982`
5×	`log-pow_binary64_9033`
4×	`associate-+l+_binary64_8877` `associate-/l*_binary64_8889` `log-div_binary64_9031`
3×	`flip3-+_binary64_8947` `associate-l_binary64_8885` `associate-/r_binary64_8888` `associate-r*_binary64_8884` `cancel-sign-sub-inv_binary64_8910` `log-prod_binary64_9030` `flip-+_binary64_8918`
2×	`div-sub_binary64_8949` `sum-log_binary64_9035`
1×	`+-commutative_binary64_8874` `div-exp_binary64_8995` `clear-num_binary64_8943` `prod-exp_binary64_8993` `frac-2neg_binary64_8955` `*-commutative_binary64_8875` `diff-log_binary64_9036` `sub-neg_binary64_8937` `associate-+l-_binary64_8879` `unswap-sqr_binary64_8912` `pow-prod-down_binary64_9015` `div-inv_binary64_8941` `rem-log-exp_binary64_8985` `cbrt-undiv_binary64_8978` `cbrt-unprod_binary64_8977`

Counts

4 → 82

Calls

4 calls:

8.0ms	(/.f64 (log.f64 (+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z)))) t)
7.0ms	(+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z)))
6.0ms	(log.f64 (+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z))))
5.0ms	(*.f64 y (exp.f64 z))

series321.0ms (3.6%)

Counts

4 → 12

Calls

4 calls:

207.0ms	(/.f64 (log.f64 (+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z)))) t)
63.0ms	(log.f64 (+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z))))
28.0ms	(+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z)))
22.0ms	(*.f64 y (exp.f64 z))

simplify81.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	5129	1998

prune122.0ms (1.4%)

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

Error

6.3b

Counts

95 → 7

Compiler

Compiled 2132 to 1141 computations (46.5% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

2.3b	(.f64 (.f64 1/2 (.f64 y (.f64 z z))) (-.f64 1 y))
3.0b	(+.f64 (.f64 y z) (.f64 (.f64 1/2 (.f64 y (*.f64 z z))) (-.f64 1 y)))
5.7b	(/.f64 (+.f64 (.f64 y z) (.f64 (.f64 1/2 (.f64 y (*.f64 z z))) (-.f64 1 y))) t)
7.0b	(.f64 y (.f64 z z))

rewrite45.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`add-cbrt-cube_binary64_8980` `add-exp-log_binary64_8982`
23×	`pow1_binary64_9005`
22×	`add-sqr-sqrt_binary64_8966`
21×	`*-un-lft-identity_binary64_8944`
18×	`add-cube-cbrt_binary64_8979`
13×	`prod-exp_binary64_8993` `pow-prod-down_binary64_9015` `cbrt-unprod_binary64_8977`
12×	`cancel-sign-sub-inv_binary64_8910`
9×	`times-frac_binary64_8950`
8×	`distribute-rgt-in_binary64_8894` `associate-+r+_binary64_8876` `distribute-lft-in_binary64_8893`
7×	`associate-r_binary64_8884`
6×	`add-log-exp_binary64_8983`
4×	`associate-l_binary64_8885` `sub-neg_binary64_8937`
3×	`associate-/r_binary64_8888` `associate-/l_binary64_8889`
2×	`flip3-+_binary64_8947` `associate-r/_binary64_8886` `-commutative_binary64_8875` `associate-/l/_binary64_8891` `difference-of-squares_binary64_8913` `flip-+_binary64_8918`
1×	`+-commutative_binary64_8874` `flip3--_binary64_8948` `flip--_binary64_8919` `div-exp_binary64_8995` `clear-num_binary64_8943` `frac-2neg_binary64_8955` `distribute-lft-out--_binary64_8896` `sum-log_binary64_9035` `unswap-sqr_binary64_8912` `div-inv_binary64_8941` `cbrt-undiv_binary64_8978`

Counts

4 → 104

Calls

4 calls:

17.0ms	(.f64 (.f64 1/2 (.f64 y (.f64 z z))) (-.f64 1 y))
7.0ms	(/.f64 (+.f64 (.f64 y z) (.f64 (.f64 1/2 (.f64 y (*.f64 z z))) (-.f64 1 y))) t)
6.0ms	(.f64 y (.f64 z z))
6.0ms	(+.f64 (.f64 y z) (.f64 (.f64 1/2 (.f64 y (*.f64 z z))) (-.f64 1 y)))

series208.0ms (2.4%)

Counts

4 → 12

Calls

4 calls:

87.0ms	(/.f64 (+.f64 (.f64 y z) (.f64 (.f64 1/2 (.f64 y (*.f64 z z))) (-.f64 1 y))) t)
51.0ms	(.f64 (.f64 1/2 (.f64 y (.f64 z z))) (-.f64 1 y))
44.0ms	(+.f64 (.f64 y z) (.f64 (.f64 1/2 (.f64 y (*.f64 z z))) (-.f64 1 y)))
25.0ms	(.f64 y (.f64 z z))

simplify74.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5004	2470

prune152.0ms (1.7%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	109	7	116
Fresh	0	6	6
Picked	1	0	1
Done	0	0	0
Total	110	13	123

Error

6.2b

Counts

123 → 13

Compiler

Compiled 3331 to 1701 computations (48.9% saved)

localize12.0ms (0.1%)

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))
3.0b	(+.f64 (.f64 y z) (.f64 (.f64 1/2 (.f64 (*.f64 y z) z)) (-.f64 1 y)))
5.7b	(/.f64 (+.f64 (.f64 y z) (.f64 (.f64 1/2 (.f64 (*.f64 y z) z)) (-.f64 1 y))) t)

rewrite42.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`add-cbrt-cube_binary64_8980` `add-exp-log_binary64_8982`
23×	`pow1_binary64_9005`
21×	`*-un-lft-identity_binary64_8944` `add-sqr-sqrt_binary64_8966`
18×	`add-cube-cbrt_binary64_8979`
13×	`prod-exp_binary64_8993` `pow-prod-down_binary64_9015` `cbrt-unprod_binary64_8977`
12×	`cancel-sign-sub-inv_binary64_8910`
9×	`times-frac_binary64_8950` `associate-r_binary64_8884`
8×	`distribute-rgt-in_binary64_8894` `associate-+r+_binary64_8876` `distribute-lft-in_binary64_8893`
6×	`add-log-exp_binary64_8983`
4×	`sub-neg_binary64_8937`
3×	`associate-/r_binary64_8888` `associate-/l_binary64_8889`
2×	`flip3-+_binary64_8947` `associate-r/_binary64_8886` `associate-l_binary64_8885` `-commutative_binary64_8875` `associate-/l/_binary64_8891` `difference-of-squares_binary64_8913` `flip-+_binary64_8918`
1×	`+-commutative_binary64_8874` `flip3--_binary64_8948` `flip--_binary64_8919` `div-exp_binary64_8995` `clear-num_binary64_8943` `frac-2neg_binary64_8955` `distribute-lft-out--_binary64_8896` `sum-log_binary64_9035` `div-inv_binary64_8941` `cbrt-undiv_binary64_8978`

Counts

4 → 103

Calls

4 calls:

13.0ms	(.f64 (.f64 1/2 (.f64 (.f64 y z) z)) (-.f64 1 y))
8.0ms	(/.f64 (+.f64 (.f64 y z) (.f64 (.f64 1/2 (.f64 (*.f64 y z) z)) (-.f64 1 y))) t)
6.0ms	(+.f64 (.f64 y z) (.f64 (.f64 1/2 (.f64 (*.f64 y z) z)) (-.f64 1 y)))
5.0ms	(.f64 (.f64 y z) z)

series200.0ms (2.3%)

Counts

4 → 12

Calls

4 calls:

88.0ms	(/.f64 (+.f64 (.f64 y z) (.f64 (.f64 1/2 (.f64 (*.f64 y z) z)) (-.f64 1 y))) t)
44.0ms	(.f64 (.f64 1/2 (.f64 (.f64 y z) z)) (-.f64 1 y))
43.0ms	(+.f64 (.f64 y z) (.f64 (.f64 1/2 (.f64 (*.f64 y z) z)) (-.f64 1 y)))
24.0ms	(.f64 (.f64 y z) z)

simplify102.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	5200	2458

prune138.0ms (1.6%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	113	2	115
Fresh	1	11	12
Picked	1	0	1
Done	0	0	0
Total	115	13	128

Error

6.2b

Counts

128 → 13

Compiler

Compiled 3342 to 1715 computations (48.7% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(/.f64 1 (/.f64 t (.f64 y (+.f64 z (.f64 (-.f64 1 y) (.f64 (.f64 z z) 1/2))))))
2.9b	(.f64 (-.f64 1 y) (.f64 (*.f64 z z) 1/2))
4.1b	(.f64 y (+.f64 z (.f64 (-.f64 1 y) (.f64 (.f64 z z) 1/2))))
5.6b	(/.f64 t (.f64 y (+.f64 z (.f64 (-.f64 1 y) (.f64 (.f64 z z) 1/2)))))

rewrite47.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

42×	`times-frac_binary64_8950`
41×	`add-exp-log_binary64_8982`
32×	`add-sqr-sqrt_binary64_8966`
30×	`*-un-lft-identity_binary64_8944`
29×	`add-cbrt-cube_binary64_8980`
27×	`add-cube-cbrt_binary64_8979`
16×	`pow1_binary64_9005`
14×	`div-exp_binary64_8995`
12×	`associate-*r/_binary64_8886`
11×	`associate-/r/_binary64_8890` `prod-exp_binary64_8993`
10×	`associate-/r*_binary64_8888`
9×	`associate-l_binary64_8885` `cbrt-unprod_binary64_8977`
7×	`pow-prod-down_binary64_9015` `cbrt-undiv_binary64_8978`
6×	`flip3-+_binary64_8947` `associate-/l*_binary64_8889` `div-inv_binary64_8941` `flip-+_binary64_8918`
4×	`associate-r_binary64_8884` `add-log-exp_binary64_8983`
3×	`rec-exp_binary64_8994` `1-exp_binary64_8988`
2×	`clear-num_binary64_8943` `frac-2neg_binary64_8955` `associate-l/_binary64_8887` `-commutative_binary64_8875` `difference-of-squares_binary64_8913`
1×	`inv-pow_binary64_9029` `flip3--_binary64_8948` `flip--_binary64_8919` `distribute-rgt-in_binary64_8894` `distribute-lft-out--_binary64_8896` `unswap-sqr_binary64_8912` `distribute-lft-in_binary64_8893` `pow-flip_binary64_9018`

Counts

4 → 135

Calls

4 calls:

12.0ms	(.f64 (-.f64 1 y) (.f64 (*.f64 z z) 1/2))
8.0ms	(/.f64 1 (/.f64 t (.f64 y (+.f64 z (.f64 (-.f64 1 y) (.f64 (.f64 z z) 1/2))))))
8.0ms	(.f64 y (+.f64 z (.f64 (-.f64 1 y) (.f64 (.f64 z z) 1/2))))
6.0ms	(/.f64 t (.f64 y (+.f64 z (.f64 (-.f64 1 y) (.f64 (.f64 z z) 1/2)))))

series345.0ms (3.9%)

Counts

4 → 12

Calls

4 calls:

147.0ms	(/.f64 t (.f64 y (+.f64 z (.f64 (-.f64 1 y) (.f64 (.f64 z z) 1/2)))))
116.0ms	(/.f64 1 (/.f64 t (.f64 y (+.f64 z (.f64 (-.f64 1 y) (.f64 (.f64 z z) 1/2))))))
48.0ms	(.f64 y (+.f64 z (.f64 (-.f64 1 y) (.f64 (.f64 z z) 1/2))))
35.0ms	(.f64 (-.f64 1 y) (.f64 (*.f64 z z) 1/2))

simplify65.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5315	3772

prune203.0ms (2.3%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	142	5	147
Fresh	7	5	12
Picked	1	0	1
Done	0	0	0
Total	150	10	160

Error

4.3b

Counts

160 → 10

Compiler

Compiled 3882 to 2293 computations (40.9% saved)

regimes1.4s (15.6%)

Accuracy

Total 6.3b remaining (66.1%)

Threshold costs 0b (0%)

Compiler

Compiled 12791 to 9906 computations (22.6% saved)

bsearch52.0ms (0.6%)

Steps

Iters	Range		Point
7	-2.9230962585945955e-93	-9.95660158748209e-95	-2.8866702549812757e-93

Compiler

Compiled 1 to 4 computations (-300% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	187	51
1	187	51

end0.0ms (0%)

sample3.6s (40.9%)

Algorithm

1×

intervals

Results

801.0ms	1768×	body	1024	valid
352.0ms	1412×	body	512	valid
289.0ms	3745×	body	128	valid
281.0ms	308×	body	2048	valid
121.0ms	767×	body	256	valid
78.0ms	1603×	body	128	nan
57.0ms	206×	body	1024	nan
46.0ms	805×	body	128	overflowed
46.0ms	244×	body	512	nan
19.0ms	176×	body	256	nan
1.0ms	19×	body	128	invalid
0.0ms	1×	body	1024	invalid
0.0ms	1×	body	512	invalid
0.0ms	1×	body	256	invalid

Compiler

Compiled 1454 to 1120 computations (23% saved)

Details

analyze1.1s (12.2%)

sample86.0ms (1%)

simplify386.0ms (4.4%)

prune3.0ms (0%)

localize13.0ms (0.1%)

rewrite33.0ms (0.4%)

series321.0ms (3.6%)

simplify81.0ms (0.9%)

prune122.0ms (1.4%)

localize13.0ms (0.1%)

rewrite45.0ms (0.5%)

series208.0ms (2.4%)

simplify74.0ms (0.8%)

prune152.0ms (1.7%)

localize12.0ms (0.1%)

rewrite42.0ms (0.5%)

series200.0ms (2.3%)

simplify102.0ms (1.2%)

prune138.0ms (1.6%)

localize13.0ms (0.1%)

rewrite47.0ms (0.5%)

series345.0ms (3.9%)

simplify65.0ms (0.7%)

prune203.0ms (2.3%)

regimes1.4s (15.6%)

bsearch52.0ms (0.6%)

simplify6.0ms (0.1%)

end0.0ms (0%)

sample3.6s (40.9%)

Profiling