Details

analyze922.0ms (5.6%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5154	161
0	4	4
1	4	4

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
7.8%	92%	0.2%	8
7.8%	92%	0.2%	9
10.9%	88.9%	0.2%	10
34.7%	65.1%	0.2%	11
43.1%	56.7%	0.2%	12
44.2%	55.7%	0.2%	13
49.5%	50.3%	0.2%	14

Compiler

Compiled 16 to 13 computations (18.8% saved)

sample27.0ms (0.2%)

Algorithm

1×

intervals

Results

12.0ms	246×	body	128	valid
1.0ms	14×	body	128	invalid
0.0ms	5×	body	256	valid
0.0ms	3×	body	512	valid
0.0ms	2×	body	1024	valid

Compiler

Compiled 31 to 29 computations (6.5% saved)

simplify62.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5155	23

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

5.5b

Counts

2 → 1

Compiler

Compiled 30 to 24 computations (20% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(tanh.f64 (/.f64 t y))
0.0b	(tanh.f64 (/.f64 x y))
0.2b	(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
5.0b	(.f64 (.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))

rewrite138.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

1.6b

Rules

18×	`frac-sub_binary64_7589`
14×	`tanh-def-c_binary64_7769` `tanh-def-b_binary64_7768` `tanh-def-a_binary64_7767`
12×	`add-sqr-sqrt_binary64_7602` `*-un-lft-identity_binary64_7580`
11×	`associate-*r/_binary64_7522`
9×	`pow1_binary64_7641` `add-exp-log_binary64_7618` `add-cbrt-cube_binary64_7616` `cancel-sign-sub-inv_binary64_7546`
8×	`add-cube-cbrt_binary64_7615`
6×	`add-log-exp_binary64_7619`
5×	`associate-r_binary64_7520`
4×	`distribute-rgt-in_binary64_7530` `distribute-lft-in_binary64_7529`
3×	`pow-prod-down_binary64_7651` `prod-exp_binary64_7629` `cbrt-unprod_binary64_7613` `sub-neg_binary64_7573`
2×	`flip3--_binary64_7584` `flip--_binary64_7555` `difference-of-squares_binary64_7549` `distribute-lft-out--_binary64_7532`
1×	`associate-l_binary64_7521` `*-commutative_binary64_7511` `diff-log_binary64_7672`

Counts

4 → 84

Calls

4 calls:

13.0ms	(.f64 (.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
7.0ms	(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
2.0ms	(tanh.f64 (/.f64 x y))
2.0ms	(tanh.f64 (/.f64 t y))

Compiler

Compiled 2795 to 837 computations (70.1% saved)

series1.7s (10.2%)

Error

0.2b

Counts

4 → 41

Calls

4 calls:

928.0ms	(.f64 (.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
448.0ms	(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
141.0ms	(tanh.f64 (/.f64 t y))
96.0ms	(tanh.f64 (/.f64 x y))

Compiler

Compiled 4361 to 3018 computations (30.8% saved)

simplify62.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

125 → 125

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	4982	3279
1	4982	3279

prune122.0ms (0.7%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	122	3	125
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	123	3	126

Error

Counts

126 → 3

Compiler

Compiled 3349 to 962 computations (71.3% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

5.0b	(.f64 (.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (.f64 (.f64 (cbrt.f64 (tanh.f64 (/.f64 x y))) (cbrt.f64 (tanh.f64 (/.f64 x y)))) (cbrt.f64 (tanh.f64 (/.f64 x y))))))
6.1b	(cbrt.f64 (tanh.f64 (/.f64 x y)))
6.1b	(cbrt.f64 (tanh.f64 (/.f64 x y)))
6.1b	(cbrt.f64 (tanh.f64 (/.f64 x y)))

rewrite1.2s (7.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

441×	`cbrt-div_binary64_7612`
243×	`frac-times_binary64_7590`
236×	`associate-*r/_binary64_7522`
210×	`tanh-def-c_binary64_7769` `tanh-def-b_binary64_7768` `tanh-def-a_binary64_7767`
189×	`frac-sub_binary64_7589`
81×	`associate-*l/_binary64_7523`
9×	`pow1_binary64_7641` `add-exp-log_binary64_7618` `add-cbrt-cube_binary64_7616` `cbrt-prod_binary64_7611`
8×	`add-cube-cbrt_binary64_7615` `add-sqr-sqrt_binary64_7602` `*-un-lft-identity_binary64_7580`
4×	`add-log-exp_binary64_7619`
3×	`pow1/3_binary64_7662` `pow-prod-down_binary64_7651` `prod-exp_binary64_7629` `cbrt-unprod_binary64_7613` `associate-r_binary64_7520`
2×	`sub-neg_binary64_7573` `distribute-rgt-in_binary64_7530` `cancel-sign-sub-inv_binary64_7546` `distribute-lft-in_binary64_7529`
1×	`flip3--_binary64_7584` `flip--_binary64_7555` `associate-l_binary64_7521` `*-commutative_binary64_7511`

Counts

4 → 255

Calls

4 calls:

44.0ms	(.f64 (.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (.f64 (.f64 (cbrt.f64 (tanh.f64 (/.f64 x y))) (cbrt.f64 (tanh.f64 (/.f64 x y)))) (cbrt.f64 (tanh.f64 (/.f64 x y))))))
5.0ms	(cbrt.f64 (tanh.f64 (/.f64 x y)))
2.0ms	(cbrt.f64 (tanh.f64 (/.f64 x y)))
2.0ms	(cbrt.f64 (tanh.f64 (/.f64 x y)))

Compiler

Compiled 23741 to 9608 computations (59.5% saved)

series2.0s (11.9%)

Error

Counts

4 → 38

Calls

4 calls:

914.0ms	(.f64 (.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (.f64 (.f64 (cbrt.f64 (tanh.f64 (/.f64 x y))) (cbrt.f64 (tanh.f64 (/.f64 x y)))) (cbrt.f64 (tanh.f64 (/.f64 x y))))))
333.0ms	(cbrt.f64 (tanh.f64 (/.f64 x y)))
331.0ms	(cbrt.f64 (tanh.f64 (/.f64 x y)))
316.0ms	(cbrt.f64 (tanh.f64 (/.f64 x y)))

Compiler

Compiled 4918 to 3197 computations (35% saved)

simplify222.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

293 → 293

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5153	24086

prune1.1s (6.9%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	293	0	293
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	293	3	296

Error

Counts

296 → 3

Compiler

Compiled 23872 to 9744 computations (59.2% saved)

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 x (*.f64 z (-.f64 t x)))
0.0b	(*.f64 z (-.f64 t x))

rewrite244.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

12×	`add-sqr-sqrt_binary64_7602` `cancel-sign-sub-inv_binary64_7546`
10×	`*-un-lft-identity_binary64_7580`
8×	`add-cube-cbrt_binary64_7615` `distribute-rgt-in_binary64_7530` `distribute-lft-in_binary64_7529` `associate-+r+_binary64_7512`
5×	`associate-r_binary64_7520`
4×	`pow1_binary64_7641` `add-exp-log_binary64_7618` `add-log-exp_binary64_7619` `add-cbrt-cube_binary64_7616` `sub-neg_binary64_7573`
3×	`associate-l_binary64_7521`
2×	`associate-*r/_binary64_7522`
1×	`pow-prod-down_binary64_7651` `prod-exp_binary64_7629` `cbrt-unprod_binary64_7613` `unswap-sqr_binary64_7548` `flip3--_binary64_7584` `flip--_binary64_7555` `difference-of-squares_binary64_7549` `distribute-lft-out--_binary64_7532` `*-commutative_binary64_7511` `sum-log_binary64_7671` `flip3-+_binary64_7583` `flip-+_binary64_7554` `+-commutative_binary64_7510`

Counts

2 → 49

Calls

2 calls:

7.0ms	(*.f64 z (-.f64 t x))
4.0ms	(+.f64 x (*.f64 z (-.f64 t x)))

Compiler

Compiled 682 to 193 computations (71.7% saved)

series221.0ms (1.4%)

Error

Counts

2 → 33

Calls

2 calls:

109.0ms	(+.f64 x (*.f64 z (-.f64 t x)))
95.0ms	(*.f64 z (-.f64 t x))

Compiler

Compiled 618 to 414 computations (33% saved)

simplify62.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5278	764

prune45.0ms (0.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	82	0	82
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	82	3	85

Error

Counts

85 → 3

Compiler

Compiled 863 to 202 computations (76.6% saved)

localize28.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(-.f64 (.f64 (+.f64 (exp.f64 (.f64 -2 (/.f64 x y))) 1) (+.f64 -1 (exp.f64 (.f64 (/.f64 t y) 2)))) (.f64 (-.f64 1 (exp.f64 (.f64 -2 (/.f64 x y)))) (+.f64 1 (exp.f64 (.f64 (/.f64 t y) 2)))))
2.1b	(+.f64 -1 (exp.f64 (*.f64 (/.f64 t y) 2)))
2.6b	(-.f64 1 (exp.f64 (*.f64 -2 (/.f64 x y))))
7.0b	(.f64 (.f64 z y) (-.f64 (.f64 (+.f64 (exp.f64 (.f64 -2 (/.f64 x y))) 1) (+.f64 -1 (exp.f64 (.f64 (/.f64 t y) 2)))) (.f64 (-.f64 1 (exp.f64 (.f64 -2 (/.f64 x y)))) (+.f64 1 (exp.f64 (.f64 (/.f64 t y) 2))))))

rewrite2.7s (16.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

145×	`flip3-+_binary64_7583` `flip-+_binary64_7554`
130×	`associate-*r/_binary64_7522`
128×	`frac-times_binary64_7590` `frac-sub_binary64_7589`
64×	`associate-*l/_binary64_7523`
51×	`flip3--_binary64_7584` `flip--_binary64_7555`
11×	`*-un-lft-identity_binary64_7580`
10×	`add-log-exp_binary64_7619`
9×	`pow1_binary64_7641` `add-exp-log_binary64_7618` `add-cbrt-cube_binary64_7616` `add-sqr-sqrt_binary64_7602`
8×	`distribute-rgt-in_binary64_7530` `distribute-lft-in_binary64_7529`
6×	`add-cube-cbrt_binary64_7615` `cancel-sign-sub-inv_binary64_7546` `associate--l+_binary64_7517`
4×	`sub-neg_binary64_7573`
3×	`pow-prod-down_binary64_7651` `prod-exp_binary64_7629` `cbrt-unprod_binary64_7613` `associate-r_binary64_7520`
2×	`diff-log_binary64_7672` `difference-of-squares_binary64_7549` `associate--r+_binary64_7516`
1×	`associate-l_binary64_7521` `*-commutative_binary64_7511` `distribute-lft-out--_binary64_7532` `sum-log_binary64_7671` `distribute-lft-out_binary64_7531` `+-commutative_binary64_7510`

Counts

4 → 201

Calls

4 calls:

27.0ms	(.f64 (.f64 z y) (-.f64 (.f64 (+.f64 (exp.f64 (.f64 -2 (/.f64 x y))) 1) (+.f64 -1 (exp.f64 (.f64 (/.f64 t y) 2)))) (.f64 (-.f64 1 (exp.f64 (.f64 -2 (/.f64 x y)))) (+.f64 1 (exp.f64 (.f64 (/.f64 t y) 2))))))
16.0ms	(-.f64 (.f64 (+.f64 (exp.f64 (.f64 -2 (/.f64 x y))) 1) (+.f64 -1 (exp.f64 (.f64 (/.f64 t y) 2)))) (.f64 (-.f64 1 (exp.f64 (.f64 -2 (/.f64 x y)))) (+.f64 1 (exp.f64 (.f64 (/.f64 t y) 2)))))
5.0ms	(-.f64 1 (exp.f64 (*.f64 -2 (/.f64 x y))))
4.0ms	(+.f64 -1 (exp.f64 (*.f64 (/.f64 t y) 2)))

Compiler

Compiled 29638 to 19570 computations (34% saved)

series991.0ms (6.1%)

Error

Counts

4 → 52

Calls

4 calls:

451.0ms	(.f64 (.f64 z y) (-.f64 (.f64 (+.f64 (exp.f64 (.f64 -2 (/.f64 x y))) 1) (+.f64 -1 (exp.f64 (.f64 (/.f64 t y) 2)))) (.f64 (-.f64 1 (exp.f64 (.f64 -2 (/.f64 x y)))) (+.f64 1 (exp.f64 (.f64 (/.f64 t y) 2))))))
251.0ms	(-.f64 (.f64 (+.f64 (exp.f64 (.f64 -2 (/.f64 x y))) 1) (+.f64 -1 (exp.f64 (.f64 (/.f64 t y) 2)))) (.f64 (-.f64 1 (exp.f64 (.f64 -2 (/.f64 x y)))) (+.f64 1 (exp.f64 (.f64 (/.f64 t y) 2)))))
95.0ms	(+.f64 -1 (exp.f64 (*.f64 (/.f64 t y) 2)))
78.0ms	(-.f64 1 (exp.f64 (*.f64 -2 (/.f64 x y))))

Compiler

Compiled 7274 to 5170 computations (28.9% saved)

simplify247.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

253 → 253

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4984	23663
1	4984	23663

prune2.1s (12.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	253	0	253
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	253	3	256

Error

Counts

256 → 3

Compiler

Compiled 26569 to 16727 computations (37% saved)

regimes492.0ms (3%)

Accuracy

Total 1.7b remaining (98.3%)

Threshold costs 0b (0%)

Compiler

Compiled 6018 to 4071 computations (32.4% saved)

bsearch25.0ms (0.2%)

Steps

Iters	Range		Point
8	1.0819702554631901e+179	1.2497744681694887e+182	6.58852598095893e+181

Compiler

Compiled 1 to 4 computations (-300% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	43	39
1	43	39

end0.0ms (0%)

sample1.7s (10.4%)

Algorithm

1×

intervals

Results

406.0ms	7787×	body	128	valid
29.0ms	575×	body	128	invalid
14.0ms	74×	body	1024	valid
12.0ms	81×	body	512	valid
9.0ms	58×	body	256	valid

Compiler

Compiled 1253 to 850 computations (32.2% saved)

Details

analyze922.0ms (5.6%)

sample27.0ms (0.2%)

simplify62.0ms (0.4%)

prune2.0ms (0%)

localize11.0ms (0.1%)

rewrite138.0ms (0.8%)

series1.7s (10.2%)

simplify62.0ms (0.4%)

prune122.0ms (0.7%)

localize14.0ms (0.1%)

rewrite1.2s (7.2%)

series2.0s (11.9%)

simplify222.0ms (1.4%)

prune1.1s (6.9%)

localize5.0ms (0%)

rewrite244.0ms (1.5%)

series221.0ms (1.4%)

simplify62.0ms (0.4%)

prune45.0ms (0.3%)

localize28.0ms (0.2%)

rewrite2.7s (16.4%)

series991.0ms (6.1%)

simplify247.0ms (1.5%)

prune2.1s (12.8%)

regimes492.0ms (3%)

bsearch25.0ms (0.2%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.7s (10.4%)

Profiling