Details

analyze845.0ms (1.9%)

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
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)

sample25.0ms (0.1%)

Algorithm

1×

intervals

Results

12.0ms	248×	body	128	valid
1.0ms	22×	body	128	invalid
1.0ms	5×	body	512	valid
0.0ms	2×	body	1024	valid
0.0ms	1×	body	256	valid

Compiler

Compiled 31 to 29 computations (6.5% saved)

simplify205.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5091	23

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

Merged error: 5.1b

Counts

2 → 1

Compiler

Compiled 30 to 24 computations (20% saved)

localize11.0ms (0%)

Local error

Found 3 expressions with local error:

0.0b

(+.f64 x (*.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))

0.4b

(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))

5.3b

(*.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))

rewrite38.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`frac-sub_binary64_3456`
12×	`tanh-def-a_binary64_3631` `tanh-def-c_binary64_3633` `tanh-def-b_binary64_3632`
11×	`associate-*r/_binary64_3391`
8×	`*-un-lft-identity_binary64_3447` `add-cbrt-cube_binary64_3480` `add-sqr-sqrt_binary64_3468` `add-exp-log_binary64_3482` `pow1_binary64_3505`
7×	`add-log-exp_binary64_3483`
5×	`associate-r_binary64_3389` `sub-neg_binary64_3440`
4×	`add-cube-cbrt_binary64_3479`
3×	`cbrt-unprod_binary64_3477` `pow-prod-down_binary64_3515` `prod-exp_binary64_3493`
2×	`distribute-lft-out--_binary64_3401` `associate-+r+_binary64_3381` `distribute-lft-in_binary64_3398` `flip--_binary64_3422` `difference-of-squares_binary64_3416` `flip3--_binary64_3451` `distribute-rgt-in_binary64_3399`
1×	`flip-+_binary64_3421` `sum-log_binary64_3535` `flip3-+_binary64_3450` `associate-l_binary64_3390` `+-commutative_binary64_3379` `*-commutative_binary64_3380` `diff-log_binary64_3536`

Counts

3 → 68

Calls

3 calls:

14.0ms

(*.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))

11.0ms

(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))

4.0ms

(+.f64 x (*.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))

series1.6s (3.6%)

Counts

3 → 9

Calls

3 calls:

754.0ms

(+.f64 x (*.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))

467.0ms

(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))

413.0ms

(*.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))

simplify69.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

77 → 77

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	4987	2728
1	4987	2728

prune109.0ms (0.2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	67	10	77
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	68	10	78

Merged error: 1.1b

Counts

78 → 10

Compiler

Compiled 2677 to 874 computations (67.4% saved)

localize13.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 x (.f64 y (.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))
0.4b	(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
1.7b	(*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
4.6b	(.f64 y (.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))

rewrite51.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

33×	`associate-*r/_binary64_3391`
27×	`frac-sub_binary64_3456`
18×	`tanh-def-a_binary64_3631` `tanh-def-c_binary64_3633` `tanh-def-b_binary64_3632`
13×	`add-sqr-sqrt_binary64_3468`
11×	`*-un-lft-identity_binary64_3447` `add-cbrt-cube_binary64_3480` `add-exp-log_binary64_3482` `sub-neg_binary64_3440` `pow1_binary64_3505`
9×	`distribute-lft-in_binary64_3398` `distribute-rgt-in_binary64_3399`
8×	`add-log-exp_binary64_3483`
7×	`add-cube-cbrt_binary64_3479`
6×	`associate-l_binary64_3390` `associate-r_binary64_3389`
4×	`cbrt-unprod_binary64_3477` `associate-+r+_binary64_3381` `pow-prod-down_binary64_3515` `prod-exp_binary64_3493`
3×	`flip--_binary64_3422` `flip3--_binary64_3451`
2×	`distribute-lft-out--_binary64_3401` `difference-of-squares_binary64_3416` `*-commutative_binary64_3380`
1×	`flip-+_binary64_3421` `sum-log_binary64_3535` `flip3-+_binary64_3450` `+-commutative_binary64_3379` `unswap-sqr_binary64_3415` `diff-log_binary64_3536`

Counts

4 → 103

Calls

4 calls:

14.0ms	(.f64 y (.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))
12.0ms	(*.f64 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)))
4.0ms	(+.f64 x (.f64 y (.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))

series2.1s (4.7%)

Counts

4 → 12

Calls

4 calls:

715.0ms	(+.f64 x (.f64 y (.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))
536.0ms	(*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
449.0ms	(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
405.0ms	(.f64 y (.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))

simplify73.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	4978	3826
1	4978	3826

prune146.0ms (0.3%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	109	6	115
Fresh	2	7	9
Picked	0	1	1
Done	0	0	0
Total	111	14	125

Merged error: 1.1b

Counts

125 → 14

Compiler

Compiled 3954 to 1307 computations (66.9% saved)

localize15.0ms (0%)

Local error

Found 4 expressions with local error:

3.5b	(cbrt.f64 (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
3.5b	(cbrt.f64 (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
3.5b	(cbrt.f64 (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
4.6b	(.f64 y (.f64 z (.f64 (.f64 (cbrt.f64 (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))) (cbrt.f64 (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))) (cbrt.f64 (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))))

rewrite2.0s (4.4%)

Algorithm

1×	rewrite-expression-head

Rules

4785×	`cbrt-div_binary64_3476`
3915×	`frac-sub_binary64_3456`
3597×	`associate-*r/_binary64_3391`
3025×	`frac-times_binary64_3457`
2610×	`tanh-def-a_binary64_3631` `tanh-def-c_binary64_3633` `tanh-def-b_binary64_3632`
435×	`flip--_binary64_3422` `flip3--_binary64_3451`
275×	`associate-*l/_binary64_3392`
18×	`add-exp-log_binary64_3482` `pow1_binary64_3505`
15×	`cbrt-prod_binary64_3475`
14×	`*-un-lft-identity_binary64_3447` `add-cbrt-cube_binary64_3480` `add-sqr-sqrt_binary64_3468`
10×	`cbrt-unprod_binary64_3477` `pow-prod-down_binary64_3515` `prod-exp_binary64_3493`
8×	`add-cube-cbrt_binary64_3479`
4×	`add-log-exp_binary64_3483`
3×	`distribute-lft-out--_binary64_3401` `associate-l_binary64_3390` `difference-of-squares_binary64_3416` `pow1/3_binary64_3526`
1×	`associate-r_binary64_3389` `*-commutative_binary64_3380`

Counts

4 → 1823

Calls

4 calls:

361.0ms	(.f64 y (.f64 z (.f64 (.f64 (cbrt.f64 (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))) (cbrt.f64 (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))) (cbrt.f64 (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))))
17.0ms	(cbrt.f64 (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
8.0ms	(cbrt.f64 (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
8.0ms	(cbrt.f64 (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))

series3.7s (8.3%)

Counts

4 → 12

Calls

4 calls:

1.1s	(cbrt.f64 (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
1.1s	(cbrt.f64 (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
1.1s	(cbrt.f64 (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
420.0ms	(.f64 y (.f64 z (.f64 (.f64 (cbrt.f64 (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))) (cbrt.f64 (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))) (cbrt.f64 (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))))

simplify1.9s (4.1%)

Algorithm

1×	egg-herbie

Counts

1835 → 1835

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5544	292299

prune28.8s (63.8%)

Pruning

15 alts after pruning (13 fresh and 2 done)

	Pruned	Kept	Total
New	1834	1	1835
Fresh	0	12	12
Picked	0	1	1
Done	0	1	1
Total	1834	15	1849

Merged error: 1.1b

Counts

1849 → 15

Compiler

Compiled 287413 to 116148 computations (59.6% saved)

localize18.0ms (0%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 y)
1.7b	(*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
1.7b	(.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (.f64 (.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))) (cbrt.f64 y)))
2.9b	(.f64 (.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))) (cbrt.f64 y))

rewrite67.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

44×	`associate-*r/_binary64_3391`
32×	`add-exp-log_binary64_3482` `pow1_binary64_3505`
27×	`frac-sub_binary64_3456`
22×	`associate-*l/_binary64_3392`
20×	`add-cbrt-cube_binary64_3480`
19×	`cbrt-unprod_binary64_3477` `pow-prod-down_binary64_3515` `prod-exp_binary64_3493`
18×	`tanh-def-a_binary64_3631` `tanh-def-c_binary64_3633` `tanh-def-b_binary64_3632`
13×	`add-sqr-sqrt_binary64_3468`
12×	`associate-r_binary64_3389`
11×	`*-un-lft-identity_binary64_3447`
9×	`add-cube-cbrt_binary64_3479`
6×	`cbrt-prod_binary64_3475`
5×	`associate-l_binary64_3390`
4×	`add-log-exp_binary64_3483`
3×	`flip--_binary64_3422` `flip3--_binary64_3451` `*-commutative_binary64_3380`
2×	`sub-neg_binary64_3440`
1×	`distribute-lft-out--_binary64_3401` `distribute-lft-in_binary64_3398` `difference-of-squares_binary64_3416` `unswap-sqr_binary64_3415` `distribute-rgt-in_binary64_3399` `pow1/3_binary64_3526`

Counts

4 → 115

Calls

4 calls:

21.0ms	(.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (.f64 (.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))) (cbrt.f64 y)))
15.0ms	(.f64 (.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))) (cbrt.f64 y))
13.0ms	(*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
1.0ms	(cbrt.f64 y)

series1.9s (4.2%)

Counts

4 → 12

Calls

4 calls:

731.0ms	(.f64 (.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))) (cbrt.f64 y))
516.0ms	(*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
474.0ms	(.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (.f64 (.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))) (cbrt.f64 y)))
159.0ms	(cbrt.f64 y)

simplify92.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4973	3613
1	4973	3613

prune143.0ms (0.3%)

Pruning

14 alts after pruning (11 fresh and 3 done)

	Pruned	Kept	Total
New	126	1	127
Fresh	2	10	12
Picked	0	1	1
Done	0	2	2
Total	128	14	142

Merged error: 0.8b

Counts

142 → 14

Compiler

Compiled 4300 to 1207 computations (71.9% saved)

regimes141.0ms (0.3%)

Compiler: Compiled 1736 to 1000 computations (42.4% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	26	23
1	26	23

end0.0ms (0%)

sample1.1s (2.4%)

Algorithm

1×

intervals

Results

412.0ms	7778×	body	128	valid
30.0ms	587×	body	128	invalid
15.0ms	73×	body	1024	valid
13.0ms	91×	body	512	valid
6.0ms	58×	body	256	valid

Compiler

Compiled 478 to 283 computations (40.8% saved)

Details

analyze845.0ms (1.9%)

sample25.0ms (0.1%)

simplify205.0ms (0.5%)

prune3.0ms (0%)

localize11.0ms (0%)

rewrite38.0ms (0.1%)

series1.6s (3.6%)

simplify69.0ms (0.2%)

prune109.0ms (0.2%)

localize13.0ms (0%)

rewrite51.0ms (0.1%)

series2.1s (4.7%)

simplify73.0ms (0.2%)

prune146.0ms (0.3%)

localize15.0ms (0%)

rewrite2.0s (4.4%)

series3.7s (8.3%)

simplify1.9s (4.1%)

prune28.8s (63.8%)

localize18.0ms (0%)

rewrite67.0ms (0.1%)

series1.9s (4.2%)

simplify92.0ms (0.2%)

prune143.0ms (0.3%)

regimes141.0ms (0.3%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample1.1s (2.4%)

Profiling