Details

analyze19.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	25%	75%	0
0%	25%	75%	1
12.5%	12.5%	75%	2
12.5%	12.5%	75%	3
18.7%	6.2%	75%	4
21.8%	3.1%	75%	5
23.4%	1.6%	75%	6
23.4%	1.6%	75%	7
24.2%	0.8%	75%	8
24.2%	0.8%	75%	9
24.6%	0.4%	75%	10
24.6%	0.4%	75%	11
24.8%	0.2%	75%	12
24.8%	0.2%	75%	13
24.9%	0.1%	75%	14

Compiler

Compiled 15 to 12 computations (20% saved)

sample57.0ms (0.1%)

Algorithm

1×

intervals

Results

19.0ms	65×	body	1024	valid
12.0ms	154×	body	128	valid
9.0ms	256×	pre	128	true
6.0ms	25×	body	512	valid
2.0ms	11×	body	256	valid
1.0ms	1×	body	2048	valid

Compiler

Compiled 26 to 23 computations (11.5% saved)

simplify99.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	24	17
1	24	17

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

0.1b

Counts

2 → 1

Compiler

Compiled 11 to 9 computations (18.2% saved)

localize9.0ms (0%)

Local error

Found 6 expressions with local error:

0.1b	(*.f64 e (cos.f64 v))
0.1b	(*.f64 e (sin.f64 v))
0.0b	(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
0.0b	(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
0.1b	(*.f64 e (sin.f64 v))
0.1b	(*.f64 e (cos.f64 v))

rewrite22.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-sqr-sqrt_binary64_782`
12×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
9×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
7×	`pow1_binary64_821`
6×	`associate-r_binary64_700` `associate-l_binary64_701`
3×	`prod-exp_binary64_809` `associate-/r*_binary64_704` `add-log-exp_binary64_799` `cbrt-unprod_binary64_793` `times-frac_binary64_766`
2×	`unswap-sqr_binary64_728` `cbrt-undiv_binary64_794` `associate-/r/_binary64_706` `div-exp_binary64_811` `pow-prod-down_binary64_831` `*-commutative_binary64_691`
1×	`frac-2neg_binary64_771` `flip3-+_binary64_763` `div-inv_binary64_757` `flip-+_binary64_734` `associate-/l*_binary64_705` `clear-num_binary64_759`

Counts

3 → 59

Calls

6 calls:

7.0ms	(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
5.0ms	(*.f64 e (cos.f64 v))
5.0ms	(*.f64 e (sin.f64 v))
0.0ms	(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
0.0ms	(*.f64 e (sin.f64 v))

series342.0ms (0.6%)

Counts

3 → 27

Calls

3 calls:

195.0ms	(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
75.0ms	(*.f64 e (sin.f64 v))
72.0ms	(*.f64 e (cos.f64 v))

Compiler

Compiled 758 to 597 computations (21.2% saved)

simplify65.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4963	1464
1	4963	1464

prune329.0ms (0.6%)

Pruning

39 alts after pruning (39 fresh and 0 done)

	Pruned	Kept	Total
New	47	39	86
Fresh	0	0	0
Picked	0	0	0
Done	1	0	1
Total	48	39	87

Error

0.0b

Counts

87 → 39

Compiler

Compiled 2100 to 1200 computations (42.9% saved)

localize21.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 e (.f64 e (cos.f64 v)))
0.0b	(*.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 4))
0.0b	(+.f64 (.f64 e (.f64 e (cos.f64 v))) (*.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 4)))
0.0b	(-.f64 (+.f64 e (.f64 (pow.f64 e 3) (pow.f64 (cos.f64 v) 2))) (+.f64 (.f64 e (.f64 e (cos.f64 v))) (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 4))))
0.1b	(.f64 (sin.f64 v) (-.f64 (+.f64 e (.f64 (pow.f64 e 3) (pow.f64 (cos.f64 v) 2))) (+.f64 (.f64 e (.f64 e (cos.f64 v))) (*.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 4)))))
0.1b	(*.f64 e (cos.f64 v))
0.3b	(pow.f64 (cos.f64 v) 2)
0.3b	(pow.f64 (cos.f64 v) 3)

rewrite38.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`add-sqr-sqrt_binary64_782`
17×	`*-un-lft-identity_binary64_760`
15×	`add-cube-cbrt_binary64_795`
10×	`add-exp-log_binary64_798` `pow1_binary64_821`
9×	`add-cbrt-cube_binary64_796`
8×	`associate-r_binary64_700`
6×	`cancel-sign-sub-inv_binary64_726` `associate-l_binary64_701` `associate-*r/_binary64_702` `pow-unpow_binary64_837` `unpow-prod-down_binary64_839`
5×	`distribute-lft-in_binary64_709` `distribute-rgt-in_binary64_710`
4×	`flip3-+_binary64_763` `add-log-exp_binary64_799` `flip-+_binary64_734` `frac-sub_binary64_769`
3×	`cube-prod_binary64_788`
2×	`unswap-sqr_binary64_728` `prod-exp_binary64_809` `pow-exp_binary64_828` `pow-to-exp_binary64_829` `sqr-pow_binary64_732` `cbrt-unprod_binary64_793` `associate--l+_binary64_697` `sub-neg_binary64_753` `pow-prod-down_binary64_831` `*-commutative_binary64_691` `pow-pow_binary64_832`
1×	`cube-mult_binary64_790` `unpow2_binary64_825` `unpow3_binary64_826` `difference-of-squares_binary64_729` `rem-cube-cbrt_binary64_783` `distribute-lft-out--_binary64_712` `flip--_binary64_735` `flip3--_binary64_764`

Counts

4 → 95

Calls

8 calls:

16.0ms	(.f64 (sin.f64 v) (-.f64 (+.f64 e (.f64 (pow.f64 e 3) (pow.f64 (cos.f64 v) 2))) (+.f64 (.f64 e (.f64 e (cos.f64 v))) (*.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 4)))))
4.0ms	(*.f64 e (cos.f64 v))
3.0ms	(pow.f64 (cos.f64 v) 3)
2.0ms	(pow.f64 (cos.f64 v) 2)
0.0ms	(-.f64 (+.f64 e (.f64 (pow.f64 e 3) (pow.f64 (cos.f64 v) 2))) (+.f64 (.f64 e (.f64 e (cos.f64 v))) (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 4))))

series560.0ms (1%)

Counts

4 → 30

Calls

4 calls:

424.0ms	(.f64 (sin.f64 v) (-.f64 (+.f64 e (.f64 (pow.f64 e 3) (pow.f64 (cos.f64 v) 2))) (+.f64 (.f64 e (.f64 e (cos.f64 v))) (*.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 4)))))
71.0ms	(*.f64 e (cos.f64 v))
35.0ms	(pow.f64 (cos.f64 v) 3)
29.0ms	(pow.f64 (cos.f64 v) 2)

Compiler

Compiled 1414 to 1014 computations (28.3% saved)

simplify96.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

125 → 125

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4986	3408
1	4986	3408

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (*.f64 e v) (+.f64 e 1))
0.0b	(/.f64 (*.f64 e v) (+.f64 e 1))

rewrite8.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`*-un-lft-identity_binary64_760`
6×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
4×	`associate-/r*_binary64_704` `times-frac_binary64_766`
3×	`add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782`
2×	`cbrt-undiv_binary64_794` `distribute-lft-out_binary64_711` `associate-/r/_binary64_706` `div-exp_binary64_811`
1×	`frac-2neg_binary64_771` `prod-exp_binary64_809` `flip3-+_binary64_763` `add-log-exp_binary64_799` `div-inv_binary64_757` `flip-+_binary64_734` `associate-/l*_binary64_705` `cbrt-unprod_binary64_793` `pow1_binary64_821` `clear-num_binary64_759`

Counts

1 → 25

Calls

2 calls:

6.0ms	(/.f64 (*.f64 e v) (+.f64 e 1))
0.0ms	(/.f64 (*.f64 e v) (+.f64 e 1))

series78.0ms (0.1%)

Counts

1 → 11

Calls

1 calls:

78.0ms

(/.f64 (*.f64 e v) (+.f64 e 1))

Compiler

Compiled 124 to 100 computations (19.4% saved)

simplify84.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

36 → 36

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	5819	404

localize12.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(*.f64 1/6 (pow.f64 v 3))
0.1b	(*.f64 e (cos.f64 v))
0.0b	(/.f64 (.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3)))) (+.f64 1 (*.f64 e (cos.f64 v))))
0.0b	(-.f64 v (*.f64 1/6 (pow.f64 v 3)))
0.0b	(/.f64 (.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3)))) (+.f64 1 (*.f64 e (cos.f64 v))))
0.1b	(*.f64 e (cos.f64 v))
0.1b	(*.f64 1/6 (pow.f64 v 3))
4.3b	(.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3))))

rewrite35.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`add-sqr-sqrt_binary64_782`
18×	`add-exp-log_binary64_798` `associate-r_binary64_700`
15×	`add-cbrt-cube_binary64_796`
14×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
9×	`associate-l_binary64_701`
8×	`pow1_binary64_821`
6×	`unswap-sqr_binary64_728` `prod-exp_binary64_809`
4×	`add-log-exp_binary64_799` `associate-*r/_binary64_702` `cbrt-unprod_binary64_793` `cube-prod_binary64_788` `unpow-prod-down_binary64_839`
3×	`associate-/r_binary64_704` `times-frac_binary64_766` `-commutative_binary64_691`
2×	`cbrt-undiv_binary64_794` `associate-/r/_binary64_706` `associate-/l/_binary64_707` `cancel-sign-sub-inv_binary64_726` `distribute-lft-in_binary64_709` `distribute-rgt-in_binary64_710` `sqr-pow_binary64_732` `div-exp_binary64_811` `sub-neg_binary64_753` `pow-prod-down_binary64_831` `flip--_binary64_735` `flip3--_binary64_764`
1×	`cube-mult_binary64_790` `frac-2neg_binary64_771` `flip3-+_binary64_763` `unpow3_binary64_826` `pow-exp_binary64_828` `div-inv_binary64_757` `flip-+_binary64_734` `associate-/l*_binary64_705` `pow-to-exp_binary64_829` `clear-num_binary64_759`

Counts

4 → 98

Calls

8 calls:

8.0ms	(/.f64 (.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3)))) (+.f64 1 (*.f64 e (cos.f64 v))))
7.0ms	(*.f64 1/6 (pow.f64 v 3))
6.0ms	(.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3))))
4.0ms	(*.f64 e (cos.f64 v))
0.0ms	(-.f64 v (*.f64 1/6 (pow.f64 v 3)))

series577.0ms (1.1%)

Counts

4 → 35

Calls

4 calls:

304.0ms	(/.f64 (.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3)))) (+.f64 1 (*.f64 e (cos.f64 v))))
159.0ms	(.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3))))
78.0ms	(*.f64 e (cos.f64 v))
36.0ms	(*.f64 1/6 (pow.f64 v 3))

Compiler

Compiled 1233 to 946 computations (23.3% saved)

simplify82.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

133 → 133

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4998	2257
1	4998	2257

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(*.f64 (sqrt.f64 e) (sin.f64 v))
0.3b	(.f64 (sqrt.f64 e) (.f64 (sqrt.f64 e) (sin.f64 v)))
0.1b	(*.f64 e (cos.f64 v))
0.0b	(/.f64 (.f64 (sqrt.f64 e) (.f64 (sqrt.f64 e) (sin.f64 v))) (+.f64 1 (*.f64 e (cos.f64 v))))
0.0b	(/.f64 (.f64 (sqrt.f64 e) (.f64 (sqrt.f64 e) (sin.f64 v))) (+.f64 1 (*.f64 e (cos.f64 v))))
0.1b	(*.f64 e (cos.f64 v))
0.3b	(.f64 (sqrt.f64 e) (.f64 (sqrt.f64 e) (sin.f64 v)))
0.3b	(*.f64 (sqrt.f64 e) (sin.f64 v))

rewrite38.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
19×	`add-sqr-sqrt_binary64_782`
15×	`associate-l_binary64_701`
13×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795` `pow1_binary64_821`
8×	`prod-exp_binary64_809` `cbrt-unprod_binary64_793`
7×	`sqrt-prod_binary64_776` `associate-r_binary64_700`
5×	`pow-prod-down_binary64_831`
4×	`add-log-exp_binary64_799`
3×	`unswap-sqr_binary64_728` `cbrt-undiv_binary64_794` `associate-/r_binary64_704` `div-exp_binary64_811` `times-frac_binary64_766` `-commutative_binary64_691`
2×	`associate-/r/_binary64_706`
1×	`frac-2neg_binary64_771` `flip3-+_binary64_763` `div-inv_binary64_757` `flip-+_binary64_734` `associate-/l*_binary64_705` `clear-num_binary64_759`

Counts

4 → 86

Calls

8 calls:

11.0ms	(/.f64 (.f64 (sqrt.f64 e) (.f64 (sqrt.f64 e) (sin.f64 v))) (+.f64 1 (*.f64 e (cos.f64 v))))
7.0ms	(.f64 (sqrt.f64 e) (.f64 (sqrt.f64 e) (sin.f64 v)))
6.0ms	(*.f64 (sqrt.f64 e) (sin.f64 v))
4.0ms	(*.f64 e (cos.f64 v))
0.0ms	(/.f64 (.f64 (sqrt.f64 e) (.f64 (sqrt.f64 e) (sin.f64 v))) (+.f64 1 (*.f64 e (cos.f64 v))))

series414.0ms (0.8%)

Counts

4 → 36

Calls

4 calls:

199.0ms	(/.f64 (.f64 (sqrt.f64 e) (.f64 (sqrt.f64 e) (sin.f64 v))) (+.f64 1 (*.f64 e (cos.f64 v))))
74.0ms	(.f64 (sqrt.f64 e) (.f64 (sqrt.f64 e) (sin.f64 v)))
71.0ms	(*.f64 e (cos.f64 v))
70.0ms	(*.f64 (sqrt.f64 e) (sin.f64 v))

Compiler

Compiled 1142 to 870 computations (23.8% saved)

simplify72.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4970	1947
1	4970	1947

localize19.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(*.f64 e (sin.f64 v))
0.0b	(-.f64 (.f64 (.f64 e (cos.f64 v)) (.f64 e (cos.f64 v))) (.f64 1 (*.f64 e (cos.f64 v))))
0.0b	(/.f64 (.f64 e (sin.f64 v)) (+.f64 (pow.f64 (.f64 e (cos.f64 v)) 3) 1))
0.0b	(.f64 (/.f64 (.f64 e (sin.f64 v)) (+.f64 (pow.f64 (.f64 e (cos.f64 v)) 3) 1)) (+.f64 (.f64 1 1) (-.f64 (.f64 (.f64 e (cos.f64 v)) (.f64 e (cos.f64 v))) (.f64 1 (*.f64 e (cos.f64 v))))))
0.1b	(*.f64 e (cos.f64 v))
0.1b	(*.f64 e (cos.f64 v))
0.1b	(*.f64 e (cos.f64 v))
0.1b	(*.f64 e (cos.f64 v))

rewrite26.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-sqr-sqrt_binary64_782`
12×	`-un-lft-identity_binary64_760` `add-exp-log_binary64_798` `add-cube-cbrt_binary64_795` `add-cbrt-cube_binary64_796` `associate-r_binary64_700` `associate-l*_binary64_701` `pow1_binary64_821`
4×	`unswap-sqr_binary64_728` `prod-exp_binary64_809` `add-log-exp_binary64_799` `cbrt-unprod_binary64_793` `pow-prod-down_binary64_831` `*-commutative_binary64_691`

Counts

4 → 72

Calls

8 calls:

4.0ms	(*.f64 e (cos.f64 v))
4.0ms	(*.f64 e (cos.f64 v))
4.0ms	(*.f64 e (cos.f64 v))
4.0ms	(*.f64 e (cos.f64 v))
0.0ms	(.f64 (/.f64 (.f64 e (sin.f64 v)) (+.f64 (pow.f64 (.f64 e (cos.f64 v)) 3) 1)) (+.f64 (.f64 1 1) (-.f64 (.f64 (.f64 e (cos.f64 v)) (.f64 e (cos.f64 v))) (.f64 1 (*.f64 e (cos.f64 v))))))

series306.0ms (0.6%)

Counts

4 → 24

Calls

4 calls:

78.0ms	(*.f64 e (cos.f64 v))
77.0ms	(*.f64 e (cos.f64 v))
76.0ms	(*.f64 e (cos.f64 v))
75.0ms	(*.f64 e (cos.f64 v))

Compiler

Compiled 1640 to 984 computations (40% saved)

simplify76.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4971	748
1	4971	748

prune9.0s (16.7%)

Pruning

197 alts after pruning (192 fresh and 5 done)

	Pruned	Kept	Total
New	349	163	512
Fresh	5	29	34
Picked	0	0	0
Done	0	5	5
Total	354	197	551

Error

0.0b

Counts

551 → 197

Compiler

Compiled 14984 to 8390 computations (44% saved)

localize22.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 e (.f64 e (cos.f64 v)))
0.0b	(*.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 4))
0.0b	(+.f64 (.f64 e (.f64 e (cos.f64 v))) (*.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 4)))
0.0b	(-.f64 (+.f64 e (.f64 (pow.f64 e 3) (cbrt.f64 (pow.f64 (cos.f64 v) 6)))) (+.f64 (.f64 e (.f64 e (cos.f64 v))) (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 4))))
0.1b	(*.f64 e (cos.f64 v))
0.3b	(cbrt.f64 (pow.f64 (cos.f64 v) 6))
0.3b	(pow.f64 (cos.f64 v) 3)
0.5b	(pow.f64 (cos.f64 v) 6)

rewrite20.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`add-sqr-sqrt_binary64_782`
13×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
9×	`unpow-prod-down_binary64_839`
8×	`add-exp-log_binary64_798` `pow1_binary64_821`
7×	`add-cbrt-cube_binary64_796` `cbrt-prod_binary64_791`
6×	`pow-unpow_binary64_837`
4×	`add-log-exp_binary64_799`
3×	`associate-r_binary64_700` `associate-l_binary64_701` `sqr-pow_binary64_732` `cube-prod_binary64_788`
2×	`pow-exp_binary64_828` `pow-to-exp_binary64_829` `pow-pow_binary64_832`
1×	`pow1/3_binary64_842` `cube-mult_binary64_790` `unswap-sqr_binary64_728` `prod-exp_binary64_809` `unpow3_binary64_826` `rem-cube-cbrt_binary64_783` `cbrt-unprod_binary64_793` `pow-prod-down_binary64_831` `*-commutative_binary64_691`

Counts

4 → 73

Calls

8 calls:

5.0ms	(*.f64 e (cos.f64 v))
2.0ms	(pow.f64 (cos.f64 v) 6)
2.0ms	(pow.f64 (cos.f64 v) 3)
2.0ms	(cbrt.f64 (pow.f64 (cos.f64 v) 6))
0.0ms	(-.f64 (+.f64 e (.f64 (pow.f64 e 3) (cbrt.f64 (pow.f64 (cos.f64 v) 6)))) (+.f64 (.f64 e (.f64 e (cos.f64 v))) (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 4))))

series180.0ms (0.3%)

Counts

4 → 15

Calls

4 calls:

80.0ms	(*.f64 e (cos.f64 v))
46.0ms	(pow.f64 (cos.f64 v) 6)
31.0ms	(pow.f64 (cos.f64 v) 3)
23.0ms	(cbrt.f64 (pow.f64 (cos.f64 v) 6))

Compiler

Compiled 894 to 635 computations (29% saved)

simplify77.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4867	657
1	4867	657

localize3.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(*.f64 e (cos.f64 v))
0.1b	(.f64 (.f64 1/6 (*.f64 v v)) (pow.f64 (cbrt.f64 v) 3))
0.0b	(/.f64 (.f64 e (-.f64 v (.f64 (.f64 1/6 (.f64 v v)) (pow.f64 (cbrt.f64 v) 3)))) (+.f64 1 (*.f64 e (cos.f64 v))))
0.0b	(-.f64 v (.f64 (.f64 1/6 (*.f64 v v)) (pow.f64 (cbrt.f64 v) 3)))
0.2b	(.f64 1/6 (.f64 v v))
0.5b	(cbrt.f64 v)
0.7b	(pow.f64 (cbrt.f64 v) 3)
4.3b	(.f64 e (-.f64 v (.f64 (.f64 1/6 (.f64 v v)) (pow.f64 (cbrt.f64 v) 3))))

rewrite27.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64_782`
13×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
12×	`add-exp-log_binary64_798` `pow1_binary64_821`
11×	`add-cbrt-cube_binary64_796`
9×	`cbrt-prod_binary64_791`
6×	`associate-l_binary64_701` `cube-prod_binary64_788` `unpow-prod-down_binary64_839`
4×	`prod-exp_binary64_809` `add-log-exp_binary64_799` `associate-r_binary64_700` `cbrt-unprod_binary64_793` `pow-prod-down_binary64_831`
3×	`pow-unpow_binary64_837`
2×	`pow1/3_binary64_842` `unswap-sqr_binary64_728` `cancel-sign-sub-inv_binary64_726` `distribute-lft-in_binary64_709` `distribute-rgt-in_binary64_710` `associate-r/_binary64_702` `sub-neg_binary64_753` `-commutative_binary64_691` `pow-pow_binary64_832`
1×	`cube-mult_binary64_790` `unpow3_binary64_826` `pow-exp_binary64_828` `rem-cube-cbrt_binary64_783` `pow-to-exp_binary64_829` `sqr-pow_binary64_732` `flip--_binary64_735` `flip3--_binary64_764`

Counts

4 → 84

Calls

8 calls:

7.0ms	(.f64 e (-.f64 v (.f64 (.f64 1/6 (.f64 v v)) (pow.f64 (cbrt.f64 v) 3))))
6.0ms	(.f64 1/6 (.f64 v v))
3.0ms	(pow.f64 (cbrt.f64 v) 3)
1.0ms	(cbrt.f64 v)
0.0ms	(*.f64 e (cos.f64 v))

series410.0ms (0.8%)

Counts

4 → 18

Calls

4 calls:

191.0ms	(.f64 e (-.f64 v (.f64 (.f64 1/6 (.f64 v v)) (pow.f64 (cbrt.f64 v) 3))))
112.0ms	(pow.f64 (cbrt.f64 v) 3)
78.0ms	(cbrt.f64 v)
28.0ms	(.f64 1/6 (.f64 v v))

Compiler

Compiled 647 to 515 computations (20.4% saved)

simplify91.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

102 → 102

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	5081	887

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(*.f64 (sqrt.f64 e) (sin.f64 v))
0.3b	(.f64 (sqrt.f64 e) (.f64 (sqrt.f64 e) (sin.f64 v)))
0.1b	(*.f64 e (cos.f64 v))
0.0b	(/.f64 (.f64 (sqrt.f64 e) (.f64 (sqrt.f64 e) (sin.f64 v))) (+.f64 1 (log.f64 (exp.f64 (*.f64 e (cos.f64 v))))))
0.1b	(*.f64 e (cos.f64 v))
0.3b	(.f64 (sqrt.f64 e) (.f64 (sqrt.f64 e) (sin.f64 v)))
0.3b	(*.f64 (sqrt.f64 e) (sin.f64 v))
7.3b	(log.f64 (exp.f64 (*.f64 e (cos.f64 v))))

rewrite26.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-sqr-sqrt_binary64_782`
15×	`associate-l_binary64_701`
14×	`pow1_binary64_821`
13×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
12×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
7×	`sqrt-prod_binary64_776` `associate-r_binary64_700`
5×	`prod-exp_binary64_809` `add-log-exp_binary64_799` `cbrt-unprod_binary64_793` `pow-prod-down_binary64_831`
3×	`unswap-sqr_binary64_728` `log-pow_binary64_849` `*-commutative_binary64_691` `log-prod_binary64_846`
1×	`exp-prod_binary64_812` `exp-to-pow_binary64_822` `rem-log-exp_binary64_801`

Counts

4 → 75

Calls

8 calls:

7.0ms	(.f64 (sqrt.f64 e) (.f64 (sqrt.f64 e) (sin.f64 v)))
6.0ms	(*.f64 (sqrt.f64 e) (sin.f64 v))
4.0ms	(*.f64 e (cos.f64 v))
2.0ms	(log.f64 (exp.f64 (*.f64 e (cos.f64 v))))
0.0ms	(/.f64 (.f64 (sqrt.f64 e) (.f64 (sqrt.f64 e) (sin.f64 v))) (+.f64 1 (log.f64 (exp.f64 (*.f64 e (cos.f64 v))))))

series404.0ms (0.7%)

Counts

4 → 30

Calls

4 calls:

197.0ms	(log.f64 (exp.f64 (*.f64 e (cos.f64 v))))
75.0ms	(.f64 (sqrt.f64 e) (.f64 (sqrt.f64 e) (sin.f64 v)))
70.0ms	(*.f64 (sqrt.f64 e) (sin.f64 v))
62.0ms	(*.f64 e (cos.f64 v))

Compiler

Compiled 964 to 750 computations (22.2% saved)

simplify98.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 0 (79.0ms)

Iter	Nodes	Cost
0	4973	1001
1	4973	1001

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(.f64 (sqrt.f64 e) (.f64 (sin.f64 v) (cbrt.f64 (sqrt.f64 e))))
0.2b	(.f64 (.f64 (cbrt.f64 (sqrt.f64 e)) (cbrt.f64 (sqrt.f64 e))) (.f64 (sqrt.f64 e) (.f64 (sin.f64 v) (cbrt.f64 (sqrt.f64 e)))))
0.1b	(*.f64 e (cos.f64 v))
0.0b	(/.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 e)) (cbrt.f64 (sqrt.f64 e))) (.f64 (sqrt.f64 e) (.f64 (sin.f64 v) (cbrt.f64 (sqrt.f64 e))))) (+.f64 1 (*.f64 e (cos.f64 v))))
0.5b	(*.f64 (cbrt.f64 (sqrt.f64 e)) (cbrt.f64 (sqrt.f64 e)))
0.7b	(cbrt.f64 (sqrt.f64 e))
0.7b	(cbrt.f64 (sqrt.f64 e))
0.7b	(cbrt.f64 (sqrt.f64 e))

rewrite25.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

58×	`cbrt-prod_binary64_791`
44×	`add-sqr-sqrt_binary64_782`
29×	`sqrt-prod_binary64_776`
22×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
11×	`swap-sqr_binary64_727` `pow1_binary64_821`
9×	`pow1/3_binary64_842` `unswap-sqr_binary64_728` `associate-r_binary64_700` `associate-l_binary64_701`
6×	`add-exp-log_binary64_798`
4×	`add-log-exp_binary64_799` `add-cbrt-cube_binary64_796`
2×	`pow-sqr_binary64_733` `pow-prod-up_binary64_830` `pow-prod-down_binary64_831`
1×	`pow2_binary64_841` `prod-exp_binary64_809` `pow-plus_binary64_823` `cbrt-unprod_binary64_793` `*-commutative_binary64_691`

Counts

4 → 98

Calls

8 calls:

9.0ms	(*.f64 (cbrt.f64 (sqrt.f64 e)) (cbrt.f64 (sqrt.f64 e)))
2.0ms	(cbrt.f64 (sqrt.f64 e))
2.0ms	(cbrt.f64 (sqrt.f64 e))
2.0ms	(cbrt.f64 (sqrt.f64 e))
0.0ms	(/.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 e)) (cbrt.f64 (sqrt.f64 e))) (.f64 (sqrt.f64 e) (.f64 (sin.f64 v) (cbrt.f64 (sqrt.f64 e))))) (+.f64 1 (*.f64 e (cos.f64 v))))

series237.0ms (0.4%)

Counts

4 → 12

Calls

4 calls:

64.0ms	(cbrt.f64 (sqrt.f64 e))
60.0ms	(cbrt.f64 (sqrt.f64 e))
59.0ms	(*.f64 (cbrt.f64 (sqrt.f64 e)) (cbrt.f64 (sqrt.f64 e)))
53.0ms	(cbrt.f64 (sqrt.f64 e))

Compiler

Compiled 604 to 430 computations (28.8% saved)

simplify71.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5290	1109

prune10.8s (20%)

Pruning

305 alts after pruning (296 fresh and 9 done)

	Pruned	Kept	Total
New	282	123	405
Fresh	14	173	187
Picked	0	0	0
Done	1	9	10
Total	297	305	602

Error

0.0b

Counts

602 → 305

Compiler

Compiled 14672 to 8361 computations (43% saved)

localize28.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 e (.f64 (.f64 (cbrt.f64 e) (cbrt.f64 e)) (.f64 (cos.f64 v) (cbrt.f64 e))))
0.0b	(*.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 4))
0.0b	(+.f64 (.f64 e (.f64 (.f64 (cbrt.f64 e) (cbrt.f64 e)) (.f64 (cos.f64 v) (cbrt.f64 e)))) (*.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 4)))
0.0b	(-.f64 (+.f64 e (.f64 (pow.f64 e 3) (pow.f64 (cos.f64 v) 2))) (+.f64 (.f64 e (.f64 (.f64 (cbrt.f64 e) (cbrt.f64 e)) (.f64 (cos.f64 v) (cbrt.f64 e)))) (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 4))))
0.5b	(*.f64 (cbrt.f64 e) (cbrt.f64 e))
0.6b	(cbrt.f64 e)
0.6b	(cbrt.f64 e)
0.6b	(cbrt.f64 e)

rewrite21.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`cbrt-prod_binary64_791`
23×	`add-sqr-sqrt_binary64_782`
15×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
11×	`pow1_binary64_821`
9×	`pow1/3_binary64_842`
6×	`add-exp-log_binary64_798` `swap-sqr_binary64_727` `associate-r_binary64_700` `associate-l_binary64_701`
4×	`unswap-sqr_binary64_728` `add-log-exp_binary64_799` `add-cbrt-cube_binary64_796`
2×	`pow-sqr_binary64_733` `pow-prod-up_binary64_830` `pow-prod-down_binary64_831`
1×	`pow2_binary64_841` `prod-exp_binary64_809` `pow-plus_binary64_823` `cbrt-unprod_binary64_793` `*-commutative_binary64_691`

Counts

4 → 73

Calls

8 calls:

7.0ms	(*.f64 (cbrt.f64 e) (cbrt.f64 e))
1.0ms	(cbrt.f64 e)
1.0ms	(cbrt.f64 e)
1.0ms	(cbrt.f64 e)
0.0ms	(-.f64 (+.f64 e (.f64 (pow.f64 e 3) (pow.f64 (cos.f64 v) 2))) (+.f64 (.f64 e (.f64 (.f64 (cbrt.f64 e) (cbrt.f64 e)) (.f64 (cos.f64 v) (cbrt.f64 e)))) (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 4))))

series358.0ms (0.7%)

Counts

4 → 12

Calls

4 calls:

102.0ms	(*.f64 (cbrt.f64 e) (cbrt.f64 e))
88.0ms	(cbrt.f64 e)
85.0ms	(cbrt.f64 e)
83.0ms	(cbrt.f64 e)

Compiler

Compiled 922 to 646 computations (29.9% saved)

simplify84.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4873	548
1	4873	548

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(-.f64 v (/.f64 v e))
0.0b	(-.f64 v (/.f64 v e))

rewrite10.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`cancel-sign-sub-inv_binary64_726` `add-sqr-sqrt_binary64_782`
10×	`*-un-lft-identity_binary64_760` `times-frac_binary64_766`
8×	`add-cube-cbrt_binary64_795`
3×	`add-log-exp_binary64_799`
2×	`difference-of-squares_binary64_729`
1×	`diff-log_binary64_852` `add-exp-log_binary64_798` `div-inv_binary64_757` `add-cbrt-cube_binary64_796` `distribute-lft-out--_binary64_712` `pow1_binary64_821` `sub-neg_binary64_753` `flip--_binary64_735` `flip3--_binary64_764`

Counts

1 → 27

Calls

2 calls:

8.0ms	(-.f64 v (/.f64 v e))
0.0ms	(-.f64 v (/.f64 v e))

series56.0ms (0.1%)

Counts

1 → 8

Calls

1 calls:

56.0ms

(-.f64 v (/.f64 v e))

Compiler

Compiled 78 to 75 computations (3.8% saved)

simplify61.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

35 → 35

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5000	318

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(*.f64 e (cos.f64 v))
0.1b	(pow.f64 (/.f64 (.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3)))) (+.f64 1 (*.f64 e (cos.f64 v)))) 3)
0.0b	(/.f64 (.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3)))) (+.f64 1 (*.f64 e (cos.f64 v))))
0.0b	(-.f64 v (*.f64 1/6 (pow.f64 v 3)))
0.1b	(*.f64 e (cos.f64 v))
0.1b	(*.f64 1/6 (pow.f64 v 3))
4.3b	(.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3))))
23.0b	(cbrt.f64 (pow.f64 (/.f64 (.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3)))) (+.f64 1 (*.f64 e (cos.f64 v)))) 3))

rewrite37.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`add-sqr-sqrt_binary64_782`
24×	`cbrt-prod_binary64_791`
18×	`associate-r_binary64_700`
17×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
13×	`add-exp-log_binary64_798` `cube-prod_binary64_788` `unpow-prod-down_binary64_839`
10×	`add-cbrt-cube_binary64_796`
9×	`associate-l_binary64_701`
8×	`pow1_binary64_821`
6×	`unswap-sqr_binary64_728` `times-frac_binary64_766`
5×	`prod-exp_binary64_809`
4×	`associate-/r/_binary64_706` `add-log-exp_binary64_799`
3×	`sqr-pow_binary64_732` `cbrt-unprod_binary64_793` `*-commutative_binary64_691`
2×	`cube-mult_binary64_790` `flip3-+_binary64_763` `unpow3_binary64_826` `cancel-sign-sub-inv_binary64_726` `distribute-lft-in_binary64_709` `div-inv_binary64_757` `distribute-rgt-in_binary64_710` `flip-+_binary64_734` `associate-*r/_binary64_702` `sub-neg_binary64_753` `pow-prod-down_binary64_831`
1×	`pow1/3_binary64_842` `rem-cbrt-cube_binary64_784` `pow-exp_binary64_828` `pow-to-exp_binary64_829` `cbrt-div_binary64_792` `cube-div_binary64_789` `flip--_binary64_735` `flip3--_binary64_764`

Counts

4 → 107

Calls

8 calls:

9.0ms	(cbrt.f64 (pow.f64 (/.f64 (.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3)))) (+.f64 1 (*.f64 e (cos.f64 v)))) 3))
7.0ms	(*.f64 1/6 (pow.f64 v 3))
6.0ms	(.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3))))
4.0ms	(*.f64 e (cos.f64 v))
0.0ms	(-.f64 v (*.f64 1/6 (pow.f64 v 3)))

series578.0ms (1.1%)

Counts

4 → 35

Calls

4 calls:

305.0ms	(cbrt.f64 (pow.f64 (/.f64 (.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3)))) (+.f64 1 (*.f64 e (cos.f64 v)))) 3))
162.0ms	(.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3))))
79.0ms	(*.f64 e (cos.f64 v))
32.0ms	(*.f64 1/6 (pow.f64 v 3))

Compiler

Compiled 1373 to 1086 computations (20.9% saved)

simplify85.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

142 → 142

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5074	2859

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(*.f64 e (cos.f64 v))
0.1b	(*.f64 e (cos.f64 v))
0.1b	(*.f64 e (sin.f64 v))
0.0b	(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 (.f64 (cbrt.f64 (.f64 e (cos.f64 v))) (cbrt.f64 (.f64 e (cos.f64 v)))) (cbrt.f64 (.f64 e (cos.f64 v))))))
0.5b	(.f64 (cbrt.f64 (.f64 e (cos.f64 v))) (cbrt.f64 (*.f64 e (cos.f64 v))))
0.6b	(cbrt.f64 (*.f64 e (cos.f64 v)))
0.6b	(cbrt.f64 (*.f64 e (cos.f64 v)))
0.6b	(cbrt.f64 (*.f64 e (cos.f64 v)))

rewrite19.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`pow1_binary64_821`
10×	`add-sqr-sqrt_binary64_782`
9×	`pow1/3_binary64_842`
8×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
7×	`cbrt-prod_binary64_791`
6×	`add-exp-log_binary64_798`
4×	`add-log-exp_binary64_799` `add-cbrt-cube_binary64_796` `swap-sqr_binary64_727` `associate-r_binary64_700` `associate-l_binary64_701`
2×	`pow-sqr_binary64_733` `pow-prod-up_binary64_830` `pow-prod-down_binary64_831`
1×	`pow2_binary64_841` `unswap-sqr_binary64_728` `prod-exp_binary64_809` `pow-plus_binary64_823` `cbrt-unprod_binary64_793` `*-commutative_binary64_691`

Counts

4 → 58

Calls

8 calls:

6.0ms	(.f64 (cbrt.f64 (.f64 e (cos.f64 v))) (cbrt.f64 (*.f64 e (cos.f64 v))))
2.0ms	(cbrt.f64 (*.f64 e (cos.f64 v)))
2.0ms	(cbrt.f64 (*.f64 e (cos.f64 v)))
2.0ms	(cbrt.f64 (*.f64 e (cos.f64 v)))
0.0ms	(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 (.f64 (cbrt.f64 (.f64 e (cos.f64 v))) (cbrt.f64 (.f64 e (cos.f64 v)))) (cbrt.f64 (.f64 e (cos.f64 v))))))

series944.0ms (1.8%)

Counts

4 → 24

Calls

4 calls:

297.0ms	(.f64 (cbrt.f64 (.f64 e (cos.f64 v))) (cbrt.f64 (*.f64 e (cos.f64 v))))
234.0ms	(cbrt.f64 (*.f64 e (cos.f64 v)))
207.0ms	(cbrt.f64 (*.f64 e (cos.f64 v)))
204.0ms	(cbrt.f64 (*.f64 e (cos.f64 v)))

Compiler

Compiled 1322 to 898 computations (32.1% saved)

simplify67.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5948	745

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(.f64 (sqrt.f64 e) (.f64 (sin.f64 v) (cbrt.f64 (sqrt.f64 e))))
0.2b	(.f64 (pow.f64 (.f64 (cbrt.f64 (sqrt.f64 e)) (cbrt.f64 (sqrt.f64 e))) 1) (.f64 (sqrt.f64 e) (.f64 (sin.f64 v) (cbrt.f64 (sqrt.f64 e)))))
0.1b	(*.f64 e (cos.f64 v))
0.0b	(/.f64 (.f64 (pow.f64 (.f64 (cbrt.f64 (sqrt.f64 e)) (cbrt.f64 (sqrt.f64 e))) 1) (.f64 (sqrt.f64 e) (.f64 (sin.f64 v) (cbrt.f64 (sqrt.f64 e))))) (+.f64 1 (*.f64 e (cos.f64 v))))
0.5b	(*.f64 (cbrt.f64 (sqrt.f64 e)) (cbrt.f64 (sqrt.f64 e)))
0.7b	(cbrt.f64 (sqrt.f64 e))
0.7b	(cbrt.f64 (sqrt.f64 e))
0.7b	(cbrt.f64 (sqrt.f64 e))

rewrite27.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

58×	`cbrt-prod_binary64_791`
44×	`add-sqr-sqrt_binary64_782`
29×	`sqrt-prod_binary64_776`
22×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
11×	`swap-sqr_binary64_727` `pow1_binary64_821`
9×	`pow1/3_binary64_842` `unswap-sqr_binary64_728` `associate-r_binary64_700` `associate-l_binary64_701`
6×	`add-exp-log_binary64_798`
4×	`add-log-exp_binary64_799` `add-cbrt-cube_binary64_796`
2×	`pow-sqr_binary64_733` `pow-prod-up_binary64_830` `pow-prod-down_binary64_831`
1×	`pow2_binary64_841` `prod-exp_binary64_809` `pow-plus_binary64_823` `cbrt-unprod_binary64_793` `*-commutative_binary64_691`

Counts

4 → 98

Calls

8 calls:

10.0ms	(*.f64 (cbrt.f64 (sqrt.f64 e)) (cbrt.f64 (sqrt.f64 e)))
2.0ms	(cbrt.f64 (sqrt.f64 e))
2.0ms	(cbrt.f64 (sqrt.f64 e))
2.0ms	(cbrt.f64 (sqrt.f64 e))
0.0ms	(/.f64 (.f64 (pow.f64 (.f64 (cbrt.f64 (sqrt.f64 e)) (cbrt.f64 (sqrt.f64 e))) 1) (.f64 (sqrt.f64 e) (.f64 (sin.f64 v) (cbrt.f64 (sqrt.f64 e))))) (+.f64 1 (*.f64 e (cos.f64 v))))

series228.0ms (0.4%)

Counts

4 → 12

Calls

4 calls:

67.0ms	(*.f64 (cbrt.f64 (sqrt.f64 e)) (cbrt.f64 (sqrt.f64 e)))
60.0ms	(cbrt.f64 (sqrt.f64 e))
51.0ms	(cbrt.f64 (sqrt.f64 e))
51.0ms	(cbrt.f64 (sqrt.f64 e))

Compiler

Compiled 652 to 478 computations (26.7% saved)

simplify72.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5290	1109

prune17.1s (31.8%)

Pruning

401 alts after pruning (387 fresh and 14 done)

	Pruned	Kept	Total
New	347	107	454
Fresh	11	280	291
Picked	0	0	0
Done	0	14	14
Total	358	401	759

Error

0.0b

Counts

759 → 401

Compiler

Compiled 7688 to 3394 computations (55.9% saved)

simplify474.0ms (0.9%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5009	34764

regimes4.6s (8.6%)

Compiler: Compiled 46125 to 31553 computations (31.6% saved)

bsearch0.0ms (0%)

regimes1.0s (1.9%)

Compiler: Compiled 8859 to 6900 computations (22.1% saved)

bsearch0.0ms (0%)

regimes182.0ms (0.3%)

Compiler: Compiled 1181 to 977 computations (17.3% saved)

bsearch0.0ms (0%)

regimes102.0ms (0.2%)

Compiler: Compiled 614 to 514 computations (16.3% saved)

bsearch0.0ms (0%)

regimes54.0ms (0.1%)

Compiler: Compiled 256 to 220 computations (14.1% saved)

bsearch0.0ms (0%)

regimes53.0ms (0.1%)

Compiler: Compiled 248 to 212 computations (14.5% saved)

bsearch0.0ms (0%)

regimes35.0ms (0.1%)

Compiler: Compiled 108 to 112 computations (-3.7% saved)

bsearch0.0ms (0%)

regimes25.0ms (0%)

Compiler: Compiled 36 to 52 computations (-44.4% saved)

bsearch0.0ms (0%)

regimes17.0ms (0%)

Compiler: Compiled 12 to 30 computations (-150% saved)

bsearch0.0ms (0%)

regimes16.0ms (0%)

Compiler: Compiled 8 to 18 computations (-125% saved)

bsearch7.0ms (0%)

Compiler: Compiled 84 to 69 computations (17.9% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	62	126
1	62	126

end0.0ms (0%)

sample2.4s (4.5%)

Algorithm

1×

intervals

Results

635.0ms	1975×	body	1024	valid
340.0ms	4464×	body	128	valid
223.0ms	1018×	body	512	valid
158.0ms	8000×	pre	128	true
88.0ms	538×	body	256	valid
3.0ms	5×	body	2048	valid

Compiler

Compiled 15503 to 10626 computations (31.5% saved)