Details

analyze2.1s (0.5%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
0%	99.9%	0.1%	7
1.6%	98.3%	0.1%	8
2.3%	97.5%	0.1%	9
7.4%	90.9%	1.7%	10
9.2%	87.4%	3.5%	11
11.7%	83.5%	4.8%	12
15.2%	76%	8.8%	13
16.4%	72%	11.6%	14

Compiler

Compiled 26 to 22 computations (15.4% saved)

sample108.0ms (0%)

Algorithm

1×

intervals

Results

47.0ms	74×	body	1024	valid
19.0ms	52×	body	512	valid
15.0ms	113×	body	128	valid
4.0ms	16×	body	256	valid
4.0ms	32×	body	128	invalid
2.0ms	6×	body	512	invalid
2.0ms	3×	body	1024	invalid
1.0ms	5×	body	256	invalid
1.0ms	1×	body	2048	valid

Compiler

Compiled 51 to 46 computations (9.8% saved)

simplify149.0ms (0%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4931	35
1	4931	35

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

31.2b

Counts

2 → 2

Compiler

Compiled 23 to 19 computations (17.4% saved)

localize23.0ms (0%)

Local error

Found 8 expressions with local error:

1.8b	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
0.5b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
0.2b	(pow.f64 (/.f64 k t) 2)
0.0b	(+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)
1.8b	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
3.2b	(.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k))
11.4b	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1))
19.0b	(/.f64 (pow.f64 t 3) (*.f64 l l))

rewrite85.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

108×	`add-exp-log_binary64_798`
58×	`prod-exp_binary64_809`
52×	`add-cbrt-cube_binary64_796`
28×	`times-frac_binary64_766`
26×	`cbrt-unprod_binary64_793` `add-sqr-sqrt_binary64_782`
24×	`div-exp_binary64_811`
22×	`*-un-lft-identity_binary64_760`
20×	`pow1_binary64_821`
18×	`associate-l_binary64_701`
17×	`add-cube-cbrt_binary64_795`
16×	`associate-*l/_binary64_703`
12×	`associate-/l*_binary64_705`
11×	`associate-r_binary64_700`
10×	`frac-times_binary64_770` `cube-prod_binary64_788` `pow-prod-down_binary64_831` `unpow-prod-down_binary64_839`
8×	`cbrt-undiv_binary64_794` `pow-exp_binary64_828` `pow-to-exp_binary64_829` `tan-quot_binary64_919`
6×	`associate-*r/_binary64_702`
5×	`unswap-sqr_binary64_728`
4×	`flip3-+_binary64_763` `add-log-exp_binary64_799` `flip-+_binary64_734` `sqr-pow_binary64_732`
3×	`cube-mult_binary64_790` `distribute-lft-out_binary64_711` `unpow3_binary64_826` `*-commutative_binary64_691`
2×	`div-inv_binary64_757`
1×	`frac-2neg_binary64_771` `distribute-lft-in_binary64_709` `associate-/r*_binary64_704` `distribute-rgt-in_binary64_710` `clear-num_binary64_759`

Counts

4 → 160

Calls

8 calls:

29.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1))
12.0ms	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
11.0ms	(.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k))
7.0ms	(/.f64 (pow.f64 t 3) (*.f64 l l))
0.0ms	(+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)

series1.8s (0.5%)

Counts

4 → 43

Calls

4 calls:

973.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1))
470.0ms	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
240.0ms	(.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k))
101.0ms	(/.f64 (pow.f64 t 3) (*.f64 l l))

Compiler

Compiled 2194 to 1887 computations (14% saved)

simplify102.0ms (0%)

Algorithm

1×	egg-herbie

Counts

203 → 203

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4979	4758
1	4979	4758

localize25.0ms (0%)

Local error

Found 8 expressions with local error:

3.2b	(.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k))
1.8b	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
0.5b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
0.2b	(pow.f64 (/.f64 k t) 2)
1.8b	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
3.2b	(.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k))
11.4b	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))
19.0b	(/.f64 (pow.f64 t 3) (*.f64 l l))

rewrite76.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

108×	`add-exp-log_binary64_798`
58×	`prod-exp_binary64_809`
52×	`add-cbrt-cube_binary64_796`
28×	`times-frac_binary64_766`
26×	`cbrt-unprod_binary64_793` `add-sqr-sqrt_binary64_782`
24×	`div-exp_binary64_811`
20×	`pow1_binary64_821`
19×	`*-un-lft-identity_binary64_760`
18×	`associate-l_binary64_701`
17×	`add-cube-cbrt_binary64_795`
16×	`associate-*l/_binary64_703`
12×	`associate-/l*_binary64_705`
10×	`frac-times_binary64_770` `associate-r_binary64_700` `cube-prod_binary64_788` `pow-prod-down_binary64_831` `unpow-prod-down_binary64_839`
8×	`cbrt-undiv_binary64_794` `pow-exp_binary64_828` `pow-to-exp_binary64_829` `tan-quot_binary64_919`
6×	`associate-*r/_binary64_702`
5×	`unswap-sqr_binary64_728`
4×	`flip3-+_binary64_763` `add-log-exp_binary64_799` `flip-+_binary64_734` `sqr-pow_binary64_732`
3×	`cube-mult_binary64_790` `unpow3_binary64_826` `*-commutative_binary64_691`
2×	`div-inv_binary64_757`
1×	`frac-2neg_binary64_771` `distribute-lft-out_binary64_711` `distribute-lft-in_binary64_709` `associate-/r*_binary64_704` `distribute-rgt-in_binary64_710` `clear-num_binary64_759`

Counts

4 → 159

Calls

8 calls:

25.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))
14.0ms	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
11.0ms	(.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k))
8.0ms	(/.f64 (pow.f64 t 3) (*.f64 l l))
0.0ms	(pow.f64 (/.f64 k t) 2)

series1.8s (0.5%)

Counts

4 → 43

Calls

4 calls:

967.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))
486.0ms	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
249.0ms	(.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k))
105.0ms	(/.f64 (pow.f64 t 3) (*.f64 l l))

Compiler

Compiled 2094 to 1787 computations (14.7% saved)

simplify83.0ms (0%)

Algorithm

1×	egg-herbie

Counts

202 → 202

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5005	4654

prune2.0s (0.5%)

Pruning

131 alts after pruning (131 fresh and 0 done)

	Pruned	Kept	Total
New	274	131	405
Fresh	0	0	0
Picked	0	0	0
Done	2	0	2
Total	276	131	407

Error

11.4b

Counts

407 → 131

Compiler

Compiled 10052 to 6470 computations (35.6% saved)

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

1.8b	(.f64 (.f64 (/.f64 t l) (.f64 (/.f64 (.f64 t t) l) (sin.f64 k))) (tan.f64 k))
0.5b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 t l) (.f64 (/.f64 (*.f64 t t) l) (sin.f64 k))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
0.2b	(pow.f64 (/.f64 k t) 2)
0.1b	(.f64 (/.f64 t l) (.f64 (/.f64 (*.f64 t t) l) (sin.f64 k)))
1.8b	(.f64 (.f64 (/.f64 t l) (.f64 (/.f64 (.f64 t t) l) (sin.f64 k))) (tan.f64 k))
2.8b	(.f64 (/.f64 (.f64 t t) l) (sin.f64 k))
9.5b	(/.f64 (*.f64 t t) l)
11.4b	(.f64 (.f64 (.f64 (/.f64 t l) (.f64 (/.f64 (*.f64 t t) l) (sin.f64 k))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))

rewrite80.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

113×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
65×	`prod-exp_binary64_809` `cbrt-unprod_binary64_793`
44×	`associate-*l/_binary64_703`
34×	`frac-times_binary64_770`
29×	`pow1_binary64_821`
20×	`cbrt-undiv_binary64_794` `div-exp_binary64_811`
17×	`pow-prod-down_binary64_831`
16×	`tan-quot_binary64_919`
15×	`add-sqr-sqrt_binary64_782`
14×	`associate-*r/_binary64_702`
13×	`*-un-lft-identity_binary64_760`
11×	`add-cube-cbrt_binary64_795`
10×	`associate-r_binary64_700`
9×	`associate-l_binary64_701`
8×	`flip3-+_binary64_763` `flip-+_binary64_734`
7×	`times-frac_binary64_766`
4×	`add-log-exp_binary64_799`
3×	`associate-/r_binary64_704` `-commutative_binary64_691`
2×	`unswap-sqr_binary64_728` `div-inv_binary64_757`
1×	`frac-2neg_binary64_771` `distribute-lft-out_binary64_711` `distribute-lft-in_binary64_709` `distribute-rgt-in_binary64_710` `associate-/l*_binary64_705` `clear-num_binary64_759`

Counts

4 → 151

Calls

8 calls:

26.0ms	(.f64 (.f64 (.f64 (/.f64 t l) (.f64 (/.f64 (*.f64 t t) l) (sin.f64 k))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))
14.0ms	(.f64 (.f64 (/.f64 t l) (.f64 (/.f64 (.f64 t t) l) (sin.f64 k))) (tan.f64 k))
11.0ms	(.f64 (/.f64 (.f64 t t) l) (sin.f64 k))
5.0ms	(/.f64 (*.f64 t t) l)
0.0ms	(.f64 (/.f64 t l) (.f64 (/.f64 (*.f64 t t) l) (sin.f64 k)))

series1.7s (0.4%)

Counts

4 → 44

Calls

4 calls:

982.0ms	(.f64 (.f64 (.f64 (/.f64 t l) (.f64 (/.f64 (*.f64 t t) l) (sin.f64 k))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))
466.0ms	(.f64 (.f64 (/.f64 t l) (.f64 (/.f64 (.f64 t t) l) (sin.f64 k))) (tan.f64 k))
198.0ms	(.f64 (/.f64 (.f64 t t) l) (sin.f64 k))
69.0ms	(/.f64 (*.f64 t t) l)

Compiler

Compiled 2210 to 1827 computations (17.3% saved)

simplify110.0ms (0%)

Algorithm

1×	egg-herbie

Counts

195 → 195

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4960	4935
1	4960	4935

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

7.2b	(/.f64 l (/.f64 (pow.f64 t 3) l))
5.2b	(/.f64 (pow.f64 t 3) l)
0.7b	(/.f64 2 (.f64 2 (/.f64 (.f64 k k) (/.f64 l (/.f64 (pow.f64 t 3) l)))))
0.0b	(.f64 2 (/.f64 (.f64 k k) (/.f64 l (/.f64 (pow.f64 t 3) l))))
0.7b	(/.f64 2 (.f64 2 (/.f64 (.f64 k k) (/.f64 l (/.f64 (pow.f64 t 3) l)))))
5.2b	(/.f64 (pow.f64 t 3) l)
7.2b	(/.f64 l (/.f64 (pow.f64 t 3) l))
16.1b	(/.f64 (*.f64 k k) (/.f64 l (/.f64 (pow.f64 t 3) l)))

rewrite172.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

884×	`times-frac_binary64_766`
374×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782`
169×	`associate-/r*_binary64_704`
118×	`add-exp-log_binary64_798`
102×	`cube-prod_binary64_788` `unpow-prod-down_binary64_839`
70×	`add-cbrt-cube_binary64_796` `div-exp_binary64_811`
36×	`cbrt-undiv_binary64_794`
34×	`cube-mult_binary64_790` `unpow3_binary64_826` `sqr-pow_binary64_732`
21×	`prod-exp_binary64_809`
19×	`associate-/l*_binary64_705`
16×	`div-inv_binary64_757`
13×	`cbrt-unprod_binary64_793`
6×	`pow-exp_binary64_828` `pow-to-exp_binary64_829`
5×	`associate-/r/_binary64_706`
4×	`frac-2neg_binary64_771` `add-log-exp_binary64_799` `pow1_binary64_821` `clear-num_binary64_759`
1×	`associate-*r/_binary64_702`

Counts

4 → 561

Calls

8 calls:

37.0ms	(/.f64 2 (.f64 2 (/.f64 (.f64 k k) (/.f64 l (/.f64 (pow.f64 t 3) l)))))
26.0ms	(/.f64 (*.f64 k k) (/.f64 l (/.f64 (pow.f64 t 3) l)))
13.0ms	(/.f64 l (/.f64 (pow.f64 t 3) l))
6.0ms	(/.f64 (pow.f64 t 3) l)
0.0ms	(.f64 2 (/.f64 (.f64 k k) (/.f64 l (/.f64 (pow.f64 t 3) l))))

series641.0ms (0.2%)

Counts

4 → 30

Calls

4 calls:

241.0ms	(/.f64 2 (.f64 2 (/.f64 (.f64 k k) (/.f64 l (/.f64 (pow.f64 t 3) l)))))
223.0ms	(/.f64 (*.f64 k k) (/.f64 l (/.f64 (pow.f64 t 3) l)))
98.0ms	(/.f64 l (/.f64 (pow.f64 t 3) l))
79.0ms	(/.f64 (pow.f64 t 3) l)

Compiler

Compiled 828 to 792 computations (4.3% saved)

simplify178.0ms (0%)

Algorithm

1×	egg-herbie

Counts

591 → 591

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	5127	11474

localize20.0ms (0%)

Local error

Found 8 expressions with local error:

3.2b	(*.f64 (/.f64 (pow.f64 t 3) l) (sin.f64 k))
1.8b	(.f64 (.f64 (/.f64 (pow.f64 1 3) l) (*.f64 (/.f64 (pow.f64 t 3) l) (sin.f64 k))) (tan.f64 k))
0.5b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 1 3) l) (.f64 (/.f64 (pow.f64 t 3) l) (sin.f64 k))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
0.2b	(pow.f64 (/.f64 k t) 2)
3.2b	(*.f64 (/.f64 (pow.f64 t 3) l) (sin.f64 k))
5.2b	(/.f64 (pow.f64 t 3) l)
6.4b	(.f64 (/.f64 (pow.f64 1 3) l) (.f64 (/.f64 (pow.f64 t 3) l) (sin.f64 k)))
11.4b	(.f64 (.f64 (.f64 (/.f64 (pow.f64 1 3) l) (.f64 (/.f64 (pow.f64 t 3) l) (sin.f64 k))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))

rewrite126.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

254×	`add-exp-log_binary64_798`
147×	`prod-exp_binary64_809`
112×	`times-frac_binary64_766`
88×	`add-sqr-sqrt_binary64_782`
81×	`associate-l_binary64_701`
77×	`*-un-lft-identity_binary64_760`
76×	`div-exp_binary64_811`
75×	`add-cube-cbrt_binary64_795`
70×	`add-cbrt-cube_binary64_796`
38×	`associate-*l/_binary64_703`
37×	`cbrt-unprod_binary64_793`
32×	`pow-exp_binary64_828`
31×	`cube-prod_binary64_788` `unpow-prod-down_binary64_839`
30×	`frac-times_binary64_770`
25×	`pow1_binary64_821`
22×	`pow-to-exp_binary64_829`
14×	`pow-prod-down_binary64_831`
12×	`cbrt-undiv_binary64_794` `associate-/l_binary64_705` `tan-quot_binary64_919` `associate-r/_binary64_702`
11×	`sqr-pow_binary64_732`
10×	`cube-mult_binary64_790` `unpow3_binary64_826` `1-exp_binary64_804`
8×	`flip3-+_binary64_763` `flip-+_binary64_734` `associate-r_binary64_700`
5×	`unswap-sqr_binary64_728`
4×	`add-log-exp_binary64_799`
3×	`associate-/r_binary64_704` `div-inv_binary64_757` `-commutative_binary64_691`
1×	`frac-2neg_binary64_771` `distribute-lft-out_binary64_711` `distribute-lft-in_binary64_709` `distribute-rgt-in_binary64_710` `clear-num_binary64_759`

Counts

4 → 291

Calls

8 calls:

38.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 1 3) l) (.f64 (/.f64 (pow.f64 t 3) l) (sin.f64 k))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))
19.0ms	(.f64 (/.f64 (pow.f64 1 3) l) (.f64 (/.f64 (pow.f64 t 3) l) (sin.f64 k)))
13.0ms	(*.f64 (/.f64 (pow.f64 t 3) l) (sin.f64 k))
6.0ms	(/.f64 (pow.f64 t 3) l)
0.0ms	(pow.f64 (/.f64 k t) 2)

series1.5s (0.4%)

Counts

4 → 43

Calls

4 calls:

966.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 1 3) l) (.f64 (/.f64 (pow.f64 t 3) l) (sin.f64 k))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))
247.0ms	(.f64 (/.f64 (pow.f64 1 3) l) (.f64 (/.f64 (pow.f64 t 3) l) (sin.f64 k)))
218.0ms	(*.f64 (/.f64 (pow.f64 t 3) l) (sin.f64 k))
94.0ms	(/.f64 (pow.f64 t 3) l)

Compiler

Compiled 2183 to 1842 computations (15.6% saved)

simplify116.0ms (0%)

Algorithm

1×	egg-herbie

Counts

334 → 334

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	4954	7294
1	4954	7294

localize24.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 (sqrt.f64 t) 3) l) (.f64 (/.f64 (*.f64 t (sqrt.f64 t)) l) (sin.f64 k))) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
0.1b	(.f64 (/.f64 (pow.f64 (sqrt.f64 t) 3) l) (.f64 (/.f64 (*.f64 t (sqrt.f64 t)) l) (sin.f64 k)))
0.1b	(*.f64 t (sqrt.f64 t))
0.0b	(+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)
1.1b	(.f64 (/.f64 (.f64 t (sqrt.f64 t)) l) (sin.f64 k))
4.1b	(/.f64 (*.f64 t (sqrt.f64 t)) l)
4.1b	(/.f64 (pow.f64 (sqrt.f64 t) 3) l)
6.3b	(.f64 (.f64 (.f64 (/.f64 (pow.f64 (sqrt.f64 t) 3) l) (.f64 (/.f64 (*.f64 t (sqrt.f64 t)) l) (sin.f64 k))) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1))

rewrite92.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

124×	`add-exp-log_binary64_798`
73×	`add-cbrt-cube_binary64_796`
72×	`prod-exp_binary64_809`
60×	`times-frac_binary64_766`
54×	`*-un-lft-identity_binary64_760`
51×	`add-sqr-sqrt_binary64_782`
49×	`add-cube-cbrt_binary64_795`
40×	`cbrt-unprod_binary64_793`
35×	`associate-*l/_binary64_703`
29×	`frac-times_binary64_770`
27×	`div-exp_binary64_811`
24×	`sqrt-prod_binary64_776` `cube-prod_binary64_788` `unpow-prod-down_binary64_839`
20×	`pow1_binary64_821`
19×	`associate-/l*_binary64_705`
13×	`cbrt-undiv_binary64_794`
12×	`tan-quot_binary64_919`
11×	`associate-*r/_binary64_702` `pow-prod-down_binary64_831`
8×	`flip3-+_binary64_763` `flip-+_binary64_734` `associate-r_binary64_700` `associate-l_binary64_701`
6×	`associate-/r*_binary64_704`
5×	`pow-exp_binary64_828` `pow-to-exp_binary64_829`
4×	`cube-mult_binary64_790` `unpow3_binary64_826` `add-log-exp_binary64_799` `sqr-pow_binary64_732`
3×	`distribute-lft-out_binary64_711` `div-inv_binary64_757`
2×	`frac-2neg_binary64_771` `clear-num_binary64_759` `*-commutative_binary64_691`
1×	`unswap-sqr_binary64_728` `distribute-lft-in_binary64_709` `distribute-rgt-in_binary64_710`

Counts

4 → 208

Calls

8 calls:

35.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 (sqrt.f64 t) 3) l) (.f64 (/.f64 (*.f64 t (sqrt.f64 t)) l) (sin.f64 k))) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1))
11.0ms	(/.f64 (pow.f64 (sqrt.f64 t) 3) l)
8.0ms	(.f64 (/.f64 (.f64 t (sqrt.f64 t)) l) (sin.f64 k))
5.0ms	(/.f64 (*.f64 t (sqrt.f64 t)) l)
0.0ms	(+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)

series1.3s (0.3%)

Counts

4 → 38

Calls

4 calls:

877.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 (sqrt.f64 t) 3) l) (.f64 (/.f64 (*.f64 t (sqrt.f64 t)) l) (sin.f64 k))) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1))
218.0ms	(.f64 (/.f64 (.f64 t (sqrt.f64 t)) l) (sin.f64 k))
91.0ms	(/.f64 (pow.f64 (sqrt.f64 t) 3) l)
86.0ms	(/.f64 (*.f64 t (sqrt.f64 t)) l)

Compiler

Compiled 2270 to 1875 computations (17.4% saved)

simplify122.0ms (0%)

Algorithm

1×	egg-herbie

Counts

246 → 246

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	5020	5827

localize28.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(pow.f64 (/.f64 k t) 2)
0.2b	(pow.f64 (/.f64 k t) 2)
0.2b	(pow.f64 (/.f64 k t) 6)
0.1b	(*.f64 (pow.f64 (/.f64 k t) 2) (pow.f64 (/.f64 k t) 2))
9.1b	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 8 (pow.f64 (/.f64 k t) 6)))
15.8b	(-.f64 (.f64 (pow.f64 (/.f64 k t) 2) (pow.f64 (/.f64 k t) 2)) (.f64 2 (pow.f64 (/.f64 k t) 2)))
19.0b	(/.f64 (pow.f64 t 3) (*.f64 l l))
25.2b	(/.f64 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 8 (pow.f64 (/.f64 k t) 6))) (+.f64 (.f64 2 2) (-.f64 (.f64 (pow.f64 (/.f64 k t) 2) (pow.f64 (/.f64 k t) 2)) (*.f64 2 (pow.f64 (/.f64 k t) 2)))))

rewrite113.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

108×	`add-exp-log_binary64_798`
57×	`prod-exp_binary64_809`
56×	`add-cbrt-cube_binary64_796`
28×	`div-exp_binary64_811`
27×	`cbrt-unprod_binary64_793`
24×	`associate-*l/_binary64_703`
18×	`frac-times_binary64_770`
15×	`*-un-lft-identity_binary64_760` `times-frac_binary64_766`
13×	`add-cube-cbrt_binary64_795` `associate-/l*_binary64_705` `pow1_binary64_821` `add-sqr-sqrt_binary64_782`
12×	`cbrt-undiv_binary64_794` `tan-quot_binary64_919`
11×	`associate-/l/_binary64_707`
10×	`associate-*r/_binary64_702`
9×	`flip3-+_binary64_763` `flip-+_binary64_734`
6×	`add-log-exp_binary64_799` `pow-exp_binary64_828` `pow-to-exp_binary64_829` `cube-prod_binary64_788` `pow-prod-down_binary64_831` `unpow-prod-down_binary64_839`
4×	`associate-/r_binary64_704` `associate-r*_binary64_700`
2×	`cube-mult_binary64_790` `frac-2neg_binary64_771` `associate-/r/_binary64_706` `unpow3_binary64_826` `div-inv_binary64_757` `sqr-pow_binary64_732` `clear-num_binary64_759`
1×	`diff-log_binary64_852` `distribute-lft-out_binary64_711` `cancel-sign-sub-inv_binary64_726` `distribute-lft-in_binary64_709` `distribute-rgt-in_binary64_710` `associate-l_binary64_701` `sub-neg_binary64_753` `distribute-rgt-out--_binary64_714` `*-commutative_binary64_691` `flip--_binary64_735` `flip3--_binary64_764`

Counts

4 → 145

Calls

8 calls:

39.0ms	(/.f64 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 8 (pow.f64 (/.f64 k t) 6))) (+.f64 (.f64 2 2) (-.f64 (.f64 (pow.f64 (/.f64 k t) 2) (pow.f64 (/.f64 k t) 2)) (*.f64 2 (pow.f64 (/.f64 k t) 2)))))
22.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 8 (pow.f64 (/.f64 k t) 6)))
13.0ms	(/.f64 (pow.f64 t 3) (*.f64 l l))
12.0ms	(-.f64 (.f64 (pow.f64 (/.f64 k t) 2) (pow.f64 (/.f64 k t) 2)) (.f64 2 (pow.f64 (/.f64 k t) 2)))
0.0ms	(*.f64 (pow.f64 (/.f64 k t) 2) (pow.f64 (/.f64 k t) 2))

series3.6s (0.9%)

Counts

4 → 50

Calls

4 calls:

1.7s	(/.f64 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 8 (pow.f64 (/.f64 k t) 6))) (+.f64 (.f64 2 2) (-.f64 (.f64 (pow.f64 (/.f64 k t) 2) (pow.f64 (/.f64 k t) 2)) (*.f64 2 (pow.f64 (/.f64 k t) 2)))))
1.5s	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 8 (pow.f64 (/.f64 k t) 6)))
315.0ms	(-.f64 (.f64 (pow.f64 (/.f64 k t) 2) (pow.f64 (/.f64 k t) 2)) (.f64 2 (pow.f64 (/.f64 k t) 2)))
108.0ms	(/.f64 (pow.f64 t 3) (*.f64 l l))

Compiler

Compiled 3593 to 2844 computations (20.8% saved)

simplify108.0ms (0%)

Algorithm

1×	egg-herbie

Counts

195 → 195

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4961	6622
1	4961	6622

prune25.5s (6.5%)

Pruning

545 alts after pruning (544 fresh and 1 done)

	Pruned	Kept	Total
New	1106	455	1561
Fresh	37	89	126
Picked	0	0	0
Done	4	1	5
Total	1147	545	1692

Error

6.4b

Counts

1692 → 545

Compiler

Compiled 44074 to 27220 computations (38.2% saved)

localize19.0ms (0%)

Local error

Found 8 expressions with local error:

0.5b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 t l) (.f64 (/.f64 t 1) (*.f64 (/.f64 t l) (sin.f64 k)))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
0.2b	(pow.f64 (/.f64 k t) 2)
0.2b	(.f64 (/.f64 t 1) (.f64 (/.f64 t l) (sin.f64 k)))
0.1b	(.f64 (/.f64 t l) (.f64 (/.f64 t 1) (*.f64 (/.f64 t l) (sin.f64 k))))
0.5b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 t l) (.f64 (/.f64 t 1) (*.f64 (/.f64 t l) (sin.f64 k)))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
1.8b	(.f64 (.f64 (/.f64 t l) (.f64 (/.f64 t 1) (.f64 (/.f64 t l) (sin.f64 k)))) (tan.f64 k))
2.9b	(*.f64 (/.f64 t l) (sin.f64 k))
11.4b	(.f64 (.f64 (.f64 (/.f64 t l) (.f64 (/.f64 t 1) (*.f64 (/.f64 t l) (sin.f64 k)))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))

rewrite165.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

421×	`add-exp-log_binary64_798`
304×	`add-cbrt-cube_binary64_796`
259×	`prod-exp_binary64_809`
181×	`cbrt-unprod_binary64_793`
179×	`frac-times_binary64_770`
178×	`associate-*l/_binary64_703`
108×	`div-exp_binary64_811`
81×	`associate-*r/_binary64_702`
69×	`cbrt-undiv_binary64_794`
56×	`tan-quot_binary64_919`
47×	`associate-/r/_binary64_706`
40×	`pow1_binary64_821`
32×	`flip3-+_binary64_763` `flip-+_binary64_734`
26×	`pow-prod-down_binary64_831`
21×	`add-sqr-sqrt_binary64_782`
18×	`*-un-lft-identity_binary64_760` `1-exp_binary64_804`
16×	`add-cube-cbrt_binary64_795`
15×	`associate-l_binary64_701`
13×	`times-frac_binary64_766`
10×	`associate-r_binary64_700`
4×	`add-log-exp_binary64_799`
3×	`associate-/l_binary64_705` `-commutative_binary64_691`
2×	`unswap-sqr_binary64_728` `div-inv_binary64_757`
1×	`frac-2neg_binary64_771` `distribute-lft-out_binary64_711` `distribute-lft-in_binary64_709` `associate-/r*_binary64_704` `distribute-rgt-in_binary64_710` `clear-num_binary64_759`

Counts

4 → 308

Calls

8 calls:

37.0ms	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 t l) (.f64 (/.f64 t 1) (*.f64 (/.f64 t l) (sin.f64 k)))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
34.0ms	(.f64 (.f64 (.f64 (/.f64 t l) (.f64 (/.f64 t 1) (*.f64 (/.f64 t l) (sin.f64 k)))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))
19.0ms	(.f64 (.f64 (/.f64 t l) (.f64 (/.f64 t 1) (.f64 (/.f64 t l) (sin.f64 k)))) (tan.f64 k))
10.0ms	(*.f64 (/.f64 t l) (sin.f64 k))
0.0ms	(.f64 (/.f64 t l) (.f64 (/.f64 t 1) (*.f64 (/.f64 t l) (sin.f64 k))))

series2.3s (0.6%)

Counts

4 → 52

Calls

4 calls:

955.0ms	(.f64 (.f64 (.f64 (/.f64 t l) (.f64 (/.f64 t 1) (*.f64 (/.f64 t l) (sin.f64 k)))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))
730.0ms	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 t l) (.f64 (/.f64 t 1) (*.f64 (/.f64 t l) (sin.f64 k)))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
474.0ms	(.f64 (.f64 (/.f64 t l) (.f64 (/.f64 t 1) (.f64 (/.f64 t l) (sin.f64 k)))) (tan.f64 k))
168.0ms	(*.f64 (/.f64 t l) (sin.f64 k))

Compiler

Compiled 2676 to 2199 computations (17.8% saved)

simplify185.0ms (0%)

Algorithm

1×	egg-herbie

Counts

360 → 360

Iterations

Useful iterations: 0 (77.0ms)

Iter	Nodes	Cost
0	4951	11288
1	4951	11288

localize12.0ms (0%)

Local error

Found 8 expressions with local error:

3.5b	(/.f64 l (/.f64 (*.f64 t t) l))
0.7b	(/.f64 2 (.f64 2 (/.f64 (.f64 k (.f64 k t)) (/.f64 l (/.f64 (.f64 t t) l)))))
0.1b	(.f64 k (.f64 k t))
0.0b	(.f64 2 (/.f64 (.f64 k (.f64 k t)) (/.f64 l (/.f64 (.f64 t t) l))))
0.7b	(/.f64 2 (.f64 2 (/.f64 (.f64 k (.f64 k t)) (/.f64 l (/.f64 (.f64 t t) l)))))
3.5b	(/.f64 l (/.f64 (*.f64 t t) l))
9.5b	(/.f64 (*.f64 t t) l)
10.6b	(/.f64 (.f64 k (.f64 k t)) (/.f64 l (/.f64 (*.f64 t t) l)))

rewrite73.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

155×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
125×	`times-frac_binary64_766`
75×	`cbrt-undiv_binary64_794` `div-exp_binary64_811`
52×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782`
45×	`prod-exp_binary64_809` `cbrt-unprod_binary64_793`
37×	`associate-/r*_binary64_704`
16×	`div-inv_binary64_757`
8×	`associate-/l*_binary64_705`
5×	`associate-/r/_binary64_706`
4×	`frac-2neg_binary64_771` `add-log-exp_binary64_799` `pow1_binary64_821` `clear-num_binary64_759`
1×	`associate-*r/_binary64_702`

Counts

4 → 203

Calls

8 calls:

17.0ms	(/.f64 2 (.f64 2 (/.f64 (.f64 k (.f64 k t)) (/.f64 l (/.f64 (.f64 t t) l)))))
13.0ms	(/.f64 (.f64 k (.f64 k t)) (/.f64 l (/.f64 (*.f64 t t) l)))
6.0ms	(/.f64 l (/.f64 (*.f64 t t) l))
4.0ms	(/.f64 (*.f64 t t) l)
0.0ms	(.f64 2 (/.f64 (.f64 k (.f64 k t)) (/.f64 l (/.f64 (.f64 t t) l))))

series606.0ms (0.2%)

Counts

4 → 30

Calls

4 calls:

236.0ms	(/.f64 2 (.f64 2 (/.f64 (.f64 k (.f64 k t)) (/.f64 l (/.f64 (.f64 t t) l)))))
222.0ms	(/.f64 (.f64 k (.f64 k t)) (/.f64 l (/.f64 (*.f64 t t) l)))
85.0ms	(/.f64 l (/.f64 (*.f64 t t) l))
62.0ms	(/.f64 (*.f64 t t) l)

Compiler

Compiled 876 to 816 computations (6.8% saved)

simplify120.0ms (0%)

Algorithm

1×	egg-herbie

Counts

233 → 233

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	5002	4145

localize21.0ms (0%)

Local error

Found 8 expressions with local error:

0.5b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 1 3) l) (.f64 (.f64 t (.f64 (/.f64 t l) t)) (sin.f64 k))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
0.2b	(pow.f64 (/.f64 k t) 2)
0.1b	(*.f64 (/.f64 t l) t)
0.1b	(.f64 t (.f64 (/.f64 t l) t))
1.8b	(.f64 (.f64 (/.f64 (pow.f64 1 3) l) (.f64 (.f64 t (*.f64 (/.f64 t l) t)) (sin.f64 k))) (tan.f64 k))
3.2b	(.f64 (.f64 t (*.f64 (/.f64 t l) t)) (sin.f64 k))
6.4b	(.f64 (/.f64 (pow.f64 1 3) l) (.f64 (.f64 t (.f64 (/.f64 t l) t)) (sin.f64 k)))
11.4b	(.f64 (.f64 (.f64 (/.f64 (pow.f64 1 3) l) (.f64 (.f64 t (.f64 (/.f64 t l) t)) (sin.f64 k))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))

rewrite145.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

430×	`add-exp-log_binary64_798`
298×	`prod-exp_binary64_809`
190×	`add-cbrt-cube_binary64_796`
127×	`cbrt-unprod_binary64_793`
76×	`div-exp_binary64_811`
74×	`pow1_binary64_821`
66×	`associate-*l/_binary64_703`
52×	`pow-prod-down_binary64_831`
43×	`associate-l_binary64_701`
36×	`times-frac_binary64_766`
35×	`frac-times_binary64_770`
34×	`associate-*r/_binary64_702`
31×	`*-un-lft-identity_binary64_760`
30×	`pow-exp_binary64_828`
29×	`add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782`
22×	`cbrt-undiv_binary64_794`
16×	`tan-quot_binary64_919`
15×	`pow-to-exp_binary64_829` `1-exp_binary64_804`
11×	`associate-r_binary64_700`
9×	`cube-prod_binary64_788` `unpow-prod-down_binary64_839`
8×	`flip3-+_binary64_763` `flip-+_binary64_734`
4×	`add-log-exp_binary64_799` `*-commutative_binary64_691`
3×	`cube-mult_binary64_790` `unpow3_binary64_826` `sqr-pow_binary64_732`
1×	`distribute-lft-out_binary64_711` `distribute-lft-in_binary64_709` `div-inv_binary64_757` `distribute-rgt-in_binary64_710`

Counts

4 → 259

Calls

8 calls:

38.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 1 3) l) (.f64 (.f64 t (.f64 (/.f64 t l) t)) (sin.f64 k))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))
21.0ms	(.f64 (.f64 (/.f64 (pow.f64 1 3) l) (.f64 (.f64 t (*.f64 (/.f64 t l) t)) (sin.f64 k))) (tan.f64 k))
20.0ms	(.f64 (/.f64 (pow.f64 1 3) l) (.f64 (.f64 t (.f64 (/.f64 t l) t)) (sin.f64 k)))
10.0ms	(.f64 (.f64 t (*.f64 (/.f64 t l) t)) (sin.f64 k))
0.0ms	(.f64 t (.f64 (/.f64 t l) t))

series1.9s (0.5%)

Counts

4 → 47

Calls

4 calls:

973.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 1 3) l) (.f64 (.f64 t (.f64 (/.f64 t l) t)) (sin.f64 k))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))
479.0ms	(.f64 (.f64 (/.f64 (pow.f64 1 3) l) (.f64 (.f64 t (*.f64 (/.f64 t l) t)) (sin.f64 k))) (tan.f64 k))
248.0ms	(.f64 (/.f64 (pow.f64 1 3) l) (.f64 (.f64 t (.f64 (/.f64 t l) t)) (sin.f64 k)))
219.0ms	(.f64 (.f64 t (*.f64 (/.f64 t l) t)) (sin.f64 k))

Compiler

Compiled 2364 to 2008 computations (15.1% saved)

simplify149.0ms (0%)

Algorithm

1×	egg-herbie

Counts

306 → 306

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	4984	7762
1	4984	7762

localize19.0ms (0%)

Local error

Found 8 expressions with local error:

12.4b	(.f64 (.f64 (log.f64 (pow.f64 (exp.f64 (/.f64 (pow.f64 t 3) (*.f64 l l))) (sin.f64 k))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))
1.0b	(log.f64 (pow.f64 (exp.f64 (/.f64 (pow.f64 t 3) (*.f64 l l))) (sin.f64 k)))
0.2b	(pow.f64 (/.f64 k t) 2)
0.0b	(.f64 (log.f64 (pow.f64 (exp.f64 (/.f64 (pow.f64 t 3) (.f64 l l))) (sin.f64 k))) (tan.f64 k))
0.2b	(pow.f64 (/.f64 k t) 2)
1.0b	(log.f64 (pow.f64 (exp.f64 (/.f64 (pow.f64 t 3) (*.f64 l l))) (sin.f64 k)))
12.4b	(.f64 (.f64 (log.f64 (pow.f64 (exp.f64 (/.f64 (pow.f64 t 3) (*.f64 l l))) (sin.f64 k))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))
19.0b	(/.f64 (pow.f64 t 3) (*.f64 l l))

rewrite48.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`add-exp-log_binary64_798`
23×	`*-un-lft-identity_binary64_760`
22×	`unpow-prod-down_binary64_839`
21×	`add-cube-cbrt_binary64_795` `times-frac_binary64_766` `add-sqr-sqrt_binary64_782`
14×	`add-cbrt-cube_binary64_796`
12×	`associate-/l*_binary64_705`
10×	`pow1_binary64_821`
7×	`div-exp_binary64_811` `log-prod_binary64_846`
6×	`prod-exp_binary64_809` `cube-prod_binary64_788`
5×	`pow-exp_binary64_828` `associate-*r/_binary64_702`
4×	`add-log-exp_binary64_799` `pow-to-exp_binary64_829` `associate-r_binary64_700` `sqr-pow_binary64_732` `cbrt-unprod_binary64_793`
3×	`tan-quot_binary64_919` `rem-log-exp_binary64_801` `pow-prod-down_binary64_831` `pow-unpow_binary64_837`
2×	`cube-mult_binary64_790` `cbrt-undiv_binary64_794` `flip3-+_binary64_763` `unpow3_binary64_826` `div-inv_binary64_757` `flip-+_binary64_734` `frac-times_binary64_770`
1×	`frac-2neg_binary64_771` `associate-l/_binary64_703` `distribute-lft-out_binary64_711` `unpow2_binary64_825` `distribute-lft-in_binary64_709` `associate-/r_binary64_704` `distribute-rgt-in_binary64_710` `log-pow_binary64_849` `associate-l_binary64_701` `clear-num_binary64_759` `*-commutative_binary64_691` `pow-pow_binary64_832`

Counts

4 → 116

Calls

8 calls:

14.0ms	(.f64 (.f64 (log.f64 (pow.f64 (exp.f64 (/.f64 (pow.f64 t 3) (*.f64 l l))) (sin.f64 k))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))
8.0ms	(pow.f64 (/.f64 k t) 2)
7.0ms	(/.f64 (pow.f64 t 3) (*.f64 l l))
5.0ms	(log.f64 (pow.f64 (exp.f64 (/.f64 (pow.f64 t 3) (*.f64 l l))) (sin.f64 k)))
0.0ms	(.f64 (log.f64 (pow.f64 (exp.f64 (/.f64 (pow.f64 t 3) (.f64 l l))) (sin.f64 k))) (tan.f64 k))

series2.0s (0.5%)

Counts

4 → 31

Calls

4 calls:

1.1s	(.f64 (.f64 (log.f64 (pow.f64 (exp.f64 (/.f64 (pow.f64 t 3) (*.f64 l l))) (sin.f64 k))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))
814.0ms	(log.f64 (pow.f64 (exp.f64 (/.f64 (pow.f64 t 3) (*.f64 l l))) (sin.f64 k)))
93.0ms	(/.f64 (pow.f64 t 3) (*.f64 l l))
71.0ms	(pow.f64 (/.f64 k t) 2)

Compiler

Compiled 1725 to 1453 computations (15.8% saved)

simplify66.0ms (0%)

Algorithm

1×	egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5058	2732

localize34.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(pow.f64 (/.f64 k t) 4)
0.2b	(pow.f64 (/.f64 k t) 6)
0.1b	(pow.f64 (/.f64 k t) 8)
0.0b	(*.f64 4 (pow.f64 (/.f64 k t) 4))
19.0b	(/.f64 (pow.f64 t 3) (*.f64 l l))
20.8b	(-.f64 (pow.f64 (/.f64 k t) 8) (*.f64 4 (pow.f64 (/.f64 k t) 4)))
25.2b	(/.f64 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 8 (pow.f64 (/.f64 k t) 6))) (+.f64 (.f64 2 2) (/.f64 (-.f64 (pow.f64 (/.f64 k t) 8) (.f64 4 (pow.f64 (/.f64 k t) 4))) (+.f64 (pow.f64 (/.f64 k t) 4) (*.f64 2 (pow.f64 (/.f64 k t) 2))))))
47.5b	(/.f64 (-.f64 (pow.f64 (/.f64 k t) 8) (.f64 4 (pow.f64 (/.f64 k t) 4))) (+.f64 (pow.f64 (/.f64 k t) 4) (.f64 2 (pow.f64 (/.f64 k t) 2))))

rewrite108.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

70×	`add-exp-log_binary64_798`
38×	`add-cbrt-cube_binary64_796`
30×	`prod-exp_binary64_809`
24×	`times-frac_binary64_766`
23×	`div-exp_binary64_811`
20×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782`
16×	`associate-/l*_binary64_705`
14×	`cbrt-unprod_binary64_793`
13×	`associate-/l/_binary64_707`
12×	`associate-*l/_binary64_703`
11×	`cbrt-undiv_binary64_794`
9×	`frac-times_binary64_770`
7×	`associate-/r*_binary64_704`
6×	`flip3-+_binary64_763` `add-log-exp_binary64_799` `flip-+_binary64_734` `tan-quot_binary64_919` `cube-prod_binary64_788` `unpow-prod-down_binary64_839`
5×	`associate-*r/_binary64_702`
4×	`associate-/r/_binary64_706` `pow-exp_binary64_828` `pow-to-exp_binary64_829` `pow1_binary64_821`
3×	`frac-2neg_binary64_771` `div-inv_binary64_757` `clear-num_binary64_759`
2×	`cube-mult_binary64_790` `unpow3_binary64_826` `sqr-pow_binary64_732` `flip--_binary64_735` `flip3--_binary64_764`
1×	`diff-log_binary64_852` `cancel-sign-sub-inv_binary64_726` `div-sub_binary64_765` `sub-neg_binary64_753`

Counts

4 → 133

Calls

8 calls:

47.0ms	(/.f64 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 8 (pow.f64 (/.f64 k t) 6))) (+.f64 (.f64 2 2) (/.f64 (-.f64 (pow.f64 (/.f64 k t) 8) (.f64 4 (pow.f64 (/.f64 k t) 4))) (+.f64 (pow.f64 (/.f64 k t) 4) (*.f64 2 (pow.f64 (/.f64 k t) 2))))))
18.0ms	(/.f64 (-.f64 (pow.f64 (/.f64 k t) 8) (.f64 4 (pow.f64 (/.f64 k t) 4))) (+.f64 (pow.f64 (/.f64 k t) 4) (.f64 2 (pow.f64 (/.f64 k t) 2))))
9.0ms	(-.f64 (pow.f64 (/.f64 k t) 8) (*.f64 4 (pow.f64 (/.f64 k t) 4)))
7.0ms	(/.f64 (pow.f64 t 3) (*.f64 l l))
0.0ms	(*.f64 4 (pow.f64 (/.f64 k t) 4))

series3.7s (0.9%)

Counts

4 → 44

Calls

4 calls:

2.6s	(/.f64 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 8 (pow.f64 (/.f64 k t) 6))) (+.f64 (.f64 2 2) (/.f64 (-.f64 (pow.f64 (/.f64 k t) 8) (.f64 4 (pow.f64 (/.f64 k t) 4))) (+.f64 (pow.f64 (/.f64 k t) 4) (*.f64 2 (pow.f64 (/.f64 k t) 2))))))
680.0ms	(/.f64 (-.f64 (pow.f64 (/.f64 k t) 8) (.f64 4 (pow.f64 (/.f64 k t) 4))) (+.f64 (pow.f64 (/.f64 k t) 4) (.f64 2 (pow.f64 (/.f64 k t) 2))))
301.0ms	(-.f64 (pow.f64 (/.f64 k t) 8) (*.f64 4 (pow.f64 (/.f64 k t) 4)))
117.0ms	(/.f64 (pow.f64 t 3) (*.f64 l l))

Compiler

Compiled 3420 to 2696 computations (21.2% saved)

simplify107.0ms (0%)

Algorithm

1×	egg-herbie

Counts

177 → 177

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4986	7488
1	4986	7488

prune49.3s (12.5%)

Pruning

792 alts after pruning (791 fresh and 1 done)

	Pruned	Kept	Total
New	921	302	1223
Fresh	50	489	539
Picked	0	0	0
Done	5	1	6
Total	976	792	1768

Error

4.8b

Counts

1768 → 792

Compiler

Compiled 50927 to 32745 computations (35.7% saved)

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

1.4b	(/.f64 (/.f64 l t) (.f64 (.f64 t (*.f64 (/.f64 t l) (sin.f64 k))) (tan.f64 k)))
0.5b	(/.f64 2 (+.f64 2 (pow.f64 (/.f64 k t) 2)))
0.2b	(pow.f64 (/.f64 k t) 2)
0.2b	(.f64 t (.f64 (/.f64 t l) (sin.f64 k)))
1.4b	(/.f64 (/.f64 l t) (.f64 (.f64 t (*.f64 (/.f64 t l) (sin.f64 k))) (tan.f64 k)))
2.1b	(.f64 (.f64 t (*.f64 (/.f64 t l) (sin.f64 k))) (tan.f64 k))
2.9b	(*.f64 (/.f64 t l) (sin.f64 k))
11.5b	(.f64 (/.f64 (/.f64 l t) (.f64 (.f64 t (.f64 (/.f64 t l) (sin.f64 k))) (tan.f64 k))) (/.f64 2 (+.f64 2 (pow.f64 (/.f64 k t) 2))))

rewrite102.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

193×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
87×	`prod-exp_binary64_809` `cbrt-unprod_binary64_793`
76×	`times-frac_binary64_766`
64×	`cbrt-undiv_binary64_794` `div-exp_binary64_811`
53×	`add-sqr-sqrt_binary64_782`
49×	`*-un-lft-identity_binary64_760`
43×	`add-cube-cbrt_binary64_795`
34×	`associate-l_binary64_701`
24×	`associate-r_binary64_700`
17×	`pow1_binary64_821`
13×	`associate-/l*_binary64_705`
11×	`associate-*l/_binary64_703`
10×	`associate-*r/_binary64_702`
8×	`associate-/r/_binary64_706` `pow-prod-down_binary64_831`
7×	`div-inv_binary64_757`
6×	`tan-quot_binary64_919`
4×	`unswap-sqr_binary64_728` `add-log-exp_binary64_799` `frac-times_binary64_770`
3×	`distribute-lft-out_binary64_711` `*-commutative_binary64_691`
1×	`frac-2neg_binary64_771` `flip3-+_binary64_763` `associate-/l/_binary64_707` `associate-/r*_binary64_704` `flip-+_binary64_734` `clear-num_binary64_759`

Counts

4 → 215

Calls

8 calls:

37.0ms	(.f64 (/.f64 (/.f64 l t) (.f64 (.f64 t (.f64 (/.f64 t l) (sin.f64 k))) (tan.f64 k))) (/.f64 2 (+.f64 2 (pow.f64 (/.f64 k t) 2))))
14.0ms	(/.f64 (/.f64 l t) (.f64 (.f64 t (*.f64 (/.f64 t l) (sin.f64 k))) (tan.f64 k)))
10.0ms	(.f64 (.f64 t (*.f64 (/.f64 t l) (sin.f64 k))) (tan.f64 k))
7.0ms	(*.f64 (/.f64 t l) (sin.f64 k))
0.0ms	(.f64 t (.f64 (/.f64 t l) (sin.f64 k)))

series2.0s (0.5%)

Counts

4 → 45

Calls

4 calls:

748.0ms	(.f64 (/.f64 (/.f64 l t) (.f64 (.f64 t (.f64 (/.f64 t l) (sin.f64 k))) (tan.f64 k))) (/.f64 2 (+.f64 2 (pow.f64 (/.f64 k t) 2))))
592.0ms	(/.f64 (/.f64 l t) (.f64 (.f64 t (*.f64 (/.f64 t l) (sin.f64 k))) (tan.f64 k)))
460.0ms	(.f64 (.f64 t (*.f64 (/.f64 t l) (sin.f64 k))) (tan.f64 k))
163.0ms	(*.f64 (/.f64 t l) (sin.f64 k))

Compiler

Compiled 2328 to 1894 computations (18.6% saved)

simplify116.0ms (0%)

Algorithm

1×	egg-herbie

Counts

260 → 260

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4995	7567
1	4995	7567

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

9.5b	(/.f64 (*.f64 t t) l)
3.5b	(/.f64 l (/.f64 (*.f64 t t) l))
0.6b	(/.f64 1 (.f64 k (.f64 k t)))
0.1b	(.f64 k (.f64 k t))
0.6b	(/.f64 1 (.f64 k (.f64 k t)))
3.5b	(/.f64 l (/.f64 (*.f64 t t) l))
9.5b	(/.f64 (*.f64 t t) l)
10.4b	(.f64 (/.f64 1 (.f64 k (.f64 k t))) (/.f64 l (/.f64 (.f64 t t) l)))

rewrite63.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

227×	`add-exp-log_binary64_798`
107×	`add-cbrt-cube_binary64_796`
97×	`prod-exp_binary64_809`
87×	`div-exp_binary64_811`
75×	`times-frac_binary64_766`
48×	`add-sqr-sqrt_binary64_782`
42×	`cbrt-undiv_binary64_794`
40×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
37×	`cbrt-unprod_binary64_793`
26×	`associate-r_binary64_700`
15×	`rec-exp_binary64_810` `1-exp_binary64_804`
12×	`div-inv_binary64_757` `pow1_binary64_821`
11×	`associate-/r*_binary64_704`
7×	`associate-/l_binary64_705` `associate-l*_binary64_701`
4×	`add-log-exp_binary64_799` `pow-prod-down_binary64_831`
3×	`unswap-sqr_binary64_728` `frac-2neg_binary64_771` `clear-num_binary64_759` `pow-flip_binary64_834`
2×	`associate-/r/_binary64_706`
1×	`associate-l/_binary64_703` `inv-pow_binary64_845` `frac-times_binary64_770` `associate-r/_binary64_702` `*-commutative_binary64_691`

Counts

4 → 206

Calls

8 calls:

24.0ms	(.f64 (/.f64 1 (.f64 k (.f64 k t))) (/.f64 l (/.f64 (.f64 t t) l)))
6.0ms	(/.f64 l (/.f64 (*.f64 t t) l))
6.0ms	(/.f64 1 (.f64 k (.f64 k t)))
4.0ms	(/.f64 (*.f64 t t) l)
0.0ms	(.f64 k (.f64 k t))

series470.0ms (0.1%)

Counts

4 → 27

Calls

4 calls:

245.0ms	(.f64 (/.f64 1 (.f64 k (.f64 k t))) (/.f64 l (/.f64 (.f64 t t) l)))
83.0ms	(/.f64 l (/.f64 (*.f64 t t) l))
81.0ms	(/.f64 1 (.f64 k (.f64 k t)))
61.0ms	(/.f64 (*.f64 t t) l)

Compiler

Compiled 738 to 642 computations (13% saved)

simplify93.0ms (0%)

Algorithm

1×	egg-herbie

Counts

233 → 233

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5259	3557

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

5.2b	(*.f64 k (pow.f64 t 3))
1.8b	(.f64 (.f64 (/.f64 (pow.f64 1 3) l) (/.f64 (*.f64 k (pow.f64 t 3)) l)) (tan.f64 k))
0.6b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 1 3) l) (/.f64 (.f64 k (pow.f64 t 3)) l)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
0.2b	(pow.f64 (/.f64 k t) 2)
5.2b	(*.f64 k (pow.f64 t 3))
6.0b	(.f64 (/.f64 (pow.f64 1 3) l) (/.f64 (.f64 k (pow.f64 t 3)) l))
6.6b	(/.f64 (*.f64 k (pow.f64 t 3)) l)
8.5b	(.f64 (.f64 (.f64 (/.f64 (pow.f64 1 3) l) (/.f64 (.f64 k (pow.f64 t 3)) l)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))

rewrite94.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

254×	`add-exp-log_binary64_798`
139×	`prod-exp_binary64_809`
84×	`div-exp_binary64_811`
70×	`add-cbrt-cube_binary64_796`
59×	`add-sqr-sqrt_binary64_782`
48×	`times-frac_binary64_766`
44×	`associate-l_binary64_701`
39×	`*-un-lft-identity_binary64_760`
35×	`add-cube-cbrt_binary64_795`
33×	`cbrt-unprod_binary64_793`
32×	`pow-exp_binary64_828`
30×	`frac-times_binary64_770`
23×	`associate-l/_binary64_703` `associate-r*_binary64_700`
22×	`pow-to-exp_binary64_829`
16×	`cbrt-undiv_binary64_794`
15×	`cube-prod_binary64_788` `pow1_binary64_821` `unpow-prod-down_binary64_839`
12×	`tan-quot_binary64_919` `associate-*r/_binary64_702`
11×	`unswap-sqr_binary64_728`
10×	`1-exp_binary64_804`
8×	`flip3-+_binary64_763` `flip-+_binary64_734`
7×	`pow-prod-down_binary64_831`
6×	`sqr-pow_binary64_732`
4×	`cube-mult_binary64_790` `unpow3_binary64_826` `add-log-exp_binary64_799`
3×	`associate-/r_binary64_704` `div-inv_binary64_757` `-commutative_binary64_691`
1×	`frac-2neg_binary64_771` `distribute-lft-out_binary64_711` `distribute-lft-in_binary64_709` `distribute-rgt-in_binary64_710` `associate-/l*_binary64_705` `clear-num_binary64_759`

Counts

4 → 227

Calls

8 calls:

27.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 1 3) l) (/.f64 (.f64 k (pow.f64 t 3)) l)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))
19.0ms	(.f64 (/.f64 (pow.f64 1 3) l) (/.f64 (.f64 k (pow.f64 t 3)) l))
11.0ms	(*.f64 k (pow.f64 t 3))
6.0ms	(/.f64 (*.f64 k (pow.f64 t 3)) l)
0.0ms	(pow.f64 (/.f64 k t) 2)

series1.3s (0.3%)

Counts

4 → 39

Calls

4 calls:

823.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 1 3) l) (/.f64 (.f64 k (pow.f64 t 3)) l)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))
195.0ms	(.f64 (/.f64 (pow.f64 1 3) l) (/.f64 (.f64 k (pow.f64 t 3)) l))
160.0ms	(/.f64 (*.f64 k (pow.f64 t 3)) l)
75.0ms	(*.f64 k (pow.f64 t 3))

Compiler

Compiled 1896 to 1580 computations (16.7% saved)

simplify134.0ms (0%)

Algorithm

1×	egg-herbie

Counts

266 → 266

Iterations

Useful iterations: 0 (79.0ms)

Iter	Nodes	Cost
0	5005	5731

localize31.0ms (0%)

Local error

Found 8 expressions with local error:

0.5b	(/.f64 2 (/.f64 (neg.f64 (.f64 (+.f64 8 (pow.f64 (/.f64 k t) 6)) (.f64 (tan.f64 k) (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l)))))) (-.f64 -4 (-.f64 (pow.f64 (/.f64 k t) 4) (*.f64 2 (pow.f64 (/.f64 k t) 2))))))
0.2b	(pow.f64 (/.f64 k t) 2)
0.2b	(pow.f64 (/.f64 k t) 4)
0.2b	(pow.f64 (/.f64 k t) 6)
9.1b	(.f64 (+.f64 8 (pow.f64 (/.f64 k t) 6)) (.f64 (tan.f64 k) (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l)))))
15.8b	(-.f64 (pow.f64 (/.f64 k t) 4) (*.f64 2 (pow.f64 (/.f64 k t) 2)))
19.0b	(/.f64 (pow.f64 t 3) (*.f64 l l))
25.2b	(/.f64 (neg.f64 (.f64 (+.f64 8 (pow.f64 (/.f64 k t) 6)) (.f64 (tan.f64 k) (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l)))))) (-.f64 -4 (-.f64 (pow.f64 (/.f64 k t) 4) (*.f64 2 (pow.f64 (/.f64 k t) 2)))))

rewrite88.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

59×	`add-exp-log_binary64_798`
42×	`times-frac_binary64_766`
40×	`*-un-lft-identity_binary64_760`
38×	`add-sqr-sqrt_binary64_782`
31×	`add-cbrt-cube_binary64_796`
30×	`prod-exp_binary64_809`
24×	`add-cube-cbrt_binary64_795` `associate-*r/_binary64_702`
18×	`associate-/l*_binary64_705` `frac-times_binary64_770`
14×	`cbrt-unprod_binary64_793`
13×	`div-exp_binary64_811` `pow1_binary64_821`
12×	`tan-quot_binary64_919`
11×	`distribute-neg-frac_binary64_724` `associate-/l/_binary64_707`
10×	`associate-*l/_binary64_703`
8×	`flip3-+_binary64_763` `flip-+_binary64_734`
7×	`difference-of-squares_binary64_729` `distribute-lft-out--_binary64_712`
6×	`neg-mul-1_binary64_756` `distribute-lft-neg-in_binary64_717` `associate-/r*_binary64_704` `add-log-exp_binary64_799` `distribute-rgt-neg-in_binary64_718` `cube-prod_binary64_788` `pow-prod-down_binary64_831` `unpow-prod-down_binary64_839`
5×	`cbrt-undiv_binary64_794`
4×	`pow-exp_binary64_828` `pow-to-exp_binary64_829` `associate-l_binary64_701`
2×	`cube-mult_binary64_790` `frac-2neg_binary64_771` `associate-/r/_binary64_706` `unpow3_binary64_826` `div-inv_binary64_757` `sqr-pow_binary64_732` `clear-num_binary64_759` `flip--_binary64_735` `flip3--_binary64_764`
1×	`diff-log_binary64_852` `distribute-lft-out_binary64_711` `distribute-frac-neg_binary64_723` `cancel-sign-sub-inv_binary64_726` `neg-sub0_binary64_755` `associate-r_binary64_700` `div-sub_binary64_765` `sub-neg_binary64_753` `*-commutative_binary64_691`

Counts

4 → 164

Calls

8 calls:

23.0ms	(.f64 (+.f64 8 (pow.f64 (/.f64 k t) 6)) (.f64 (tan.f64 k) (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l)))))
16.0ms	(/.f64 (neg.f64 (.f64 (+.f64 8 (pow.f64 (/.f64 k t) 6)) (.f64 (tan.f64 k) (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l)))))) (-.f64 -4 (-.f64 (pow.f64 (/.f64 k t) 4) (*.f64 2 (pow.f64 (/.f64 k t) 2)))))
9.0ms	(-.f64 (pow.f64 (/.f64 k t) 4) (*.f64 2 (pow.f64 (/.f64 k t) 2)))
7.0ms	(/.f64 (pow.f64 t 3) (*.f64 l l))
0.0ms	(pow.f64 (/.f64 k t) 6)

series3.8s (1%)

Counts

4 → 50

Calls

4 calls:

1.9s	(/.f64 (neg.f64 (.f64 (+.f64 8 (pow.f64 (/.f64 k t) 6)) (.f64 (tan.f64 k) (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l)))))) (-.f64 -4 (-.f64 (pow.f64 (/.f64 k t) 4) (*.f64 2 (pow.f64 (/.f64 k t) 2)))))
1.5s	(.f64 (+.f64 8 (pow.f64 (/.f64 k t) 6)) (.f64 (tan.f64 k) (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l)))))
309.0ms	(-.f64 (pow.f64 (/.f64 k t) 4) (*.f64 2 (pow.f64 (/.f64 k t) 2)))
103.0ms	(/.f64 (pow.f64 t 3) (*.f64 l l))

Compiler

Compiled 3383 to 2718 computations (19.7% saved)

simplify136.0ms (0%)

Algorithm

1×	egg-herbie

Counts

214 → 214

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4952	8911
1	4952	8911

localize24.0ms (0%)

Local error

Found 8 expressions with local error:

0.5b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (/.f64 (pow.f64 t 3) (/.f64 l (sin.f64 k))) l) (.f64 (cbrt.f64 (tan.f64 k)) (cbrt.f64 (tan.f64 k)))) (cbrt.f64 (tan.f64 k))) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
0.2b	(pow.f64 (/.f64 k t) 2)
0.2b	(.f64 (.f64 (/.f64 (/.f64 (pow.f64 t 3) (/.f64 l (sin.f64 k))) l) (*.f64 (cbrt.f64 (tan.f64 k)) (cbrt.f64 (tan.f64 k)))) (cbrt.f64 (tan.f64 k)))
0.1b	(/.f64 l (sin.f64 k))
1.7b	(.f64 (/.f64 (/.f64 (pow.f64 t 3) (/.f64 l (sin.f64 k))) l) (.f64 (cbrt.f64 (tan.f64 k)) (cbrt.f64 (tan.f64 k))))
6.4b	(/.f64 (/.f64 (pow.f64 t 3) (/.f64 l (sin.f64 k))) l)
7.5b	(/.f64 (pow.f64 t 3) (/.f64 l (sin.f64 k)))
11.4b	(.f64 (.f64 (.f64 (/.f64 (/.f64 (pow.f64 t 3) (/.f64 l (sin.f64 k))) l) (.f64 (cbrt.f64 (tan.f64 k)) (cbrt.f64 (tan.f64 k)))) (cbrt.f64 (tan.f64 k))) (+.f64 2 (pow.f64 (/.f64 k t) 2)))

rewrite590.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

3108×	`times-frac_binary64_766`
1359×	`add-sqr-sqrt_binary64_782`
1332×	`*-un-lft-identity_binary64_760`
1330×	`add-cube-cbrt_binary64_795`
488×	`associate-l_binary64_701`
317×	`cube-prod_binary64_788` `unpow-prod-down_binary64_839`
211×	`add-exp-log_binary64_798`
173×	`associate-/l*_binary64_705`
107×	`div-inv_binary64_757` `sqr-pow_binary64_732`
105×	`cube-mult_binary64_790` `unpow3_binary64_826`
89×	`div-exp_binary64_811`
86×	`frac-times_binary64_770`
83×	`prod-exp_binary64_809`
80×	`cbrt-div_binary64_792` `tan-quot_binary64_919`
78×	`add-cbrt-cube_binary64_796`
57×	`associate-*l/_binary64_703`
43×	`cbrt-unprod_binary64_793`
40×	`associate-*r/_binary64_702`
33×	`cbrt-undiv_binary64_794`
23×	`pow1_binary64_821`
16×	`flip3-+_binary64_763` `associate-/r*_binary64_704` `flip-+_binary64_734`
13×	`pow-prod-down_binary64_831`
12×	`pow-exp_binary64_828` `pow-to-exp_binary64_829`
10×	`unswap-sqr_binary64_728`
8×	`associate-/r/_binary64_706`
5×	`associate-r_binary64_700`
4×	`add-log-exp_binary64_799`
2×	`frac-2neg_binary64_771` `clear-num_binary64_759` `*-commutative_binary64_691`
1×	`distribute-lft-out_binary64_711` `associate-/l/_binary64_707` `distribute-lft-in_binary64_709` `distribute-rgt-in_binary64_710`

Counts

4 → 1000

Calls

8 calls:

101.0ms	(.f64 (/.f64 (/.f64 (pow.f64 t 3) (/.f64 l (sin.f64 k))) l) (.f64 (cbrt.f64 (tan.f64 k)) (cbrt.f64 (tan.f64 k))))
80.0ms	(.f64 (.f64 (.f64 (/.f64 (/.f64 (pow.f64 t 3) (/.f64 l (sin.f64 k))) l) (.f64 (cbrt.f64 (tan.f64 k)) (cbrt.f64 (tan.f64 k)))) (cbrt.f64 (tan.f64 k))) (+.f64 2 (pow.f64 (/.f64 k t) 2)))
45.0ms	(/.f64 (/.f64 (pow.f64 t 3) (/.f64 l (sin.f64 k))) l)
11.0ms	(/.f64 (pow.f64 t 3) (/.f64 l (sin.f64 k)))
0.0ms	(/.f64 l (sin.f64 k))

series2.4s (0.6%)

Counts

4 → 47

Calls

4 calls:

978.0ms	(.f64 (.f64 (.f64 (/.f64 (/.f64 (pow.f64 t 3) (/.f64 l (sin.f64 k))) l) (.f64 (cbrt.f64 (tan.f64 k)) (cbrt.f64 (tan.f64 k)))) (cbrt.f64 (tan.f64 k))) (+.f64 2 (pow.f64 (/.f64 k t) 2)))
922.0ms	(.f64 (/.f64 (/.f64 (pow.f64 t 3) (/.f64 l (sin.f64 k))) l) (.f64 (cbrt.f64 (tan.f64 k)) (cbrt.f64 (tan.f64 k))))
244.0ms	(/.f64 (/.f64 (pow.f64 t 3) (/.f64 l (sin.f64 k))) l)
209.0ms	(/.f64 (pow.f64 t 3) (/.f64 l (sin.f64 k)))

Compiler

Compiled 2782 to 2179 computations (21.7% saved)

simplify372.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1047 → 1047

Iterations

Useful iterations: 0 (90.0ms)

Iter	Nodes	Cost
0	5052	32001

prune2.1min (32.7%)

Pruning

1369 alts after pruning (1368 fresh and 1 done)

	Pruned	Kept	Total
New	1358	662	2020
Fresh	80	706	786
Picked	0	0	0
Done	5	1	6
Total	1443	1369	2812

Error

4.7b

Counts

2812 → 1369

Compiler

Compiled 39410 to 16896 computations (57.1% saved)

simplify2.4s (0.6%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	10812	135511

regimes1.1min (16.2%)

Compiler: Compiled 531472 to 376717 computations (29.1% saved)

bsearch334.0ms (0.1%)

Steps

Iters	Range		Point
10	5.4193571262166975e-127	1.296649663451133e-116	4.743251944033027e-121
8	-2.9653885483417006e-95	-3.127496664106839e-98	-1.158281865103833e-96

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes29.9s (7.6%)

Compiler: Compiled 214879 to 163175 computations (24.1% saved)

bsearch269.0ms (0.1%)

Steps

Iters	Range		Point
10	5.4193571262166975e-127	1.296649663451133e-116	1.019490745297331e-119
8	-2.9653885483417006e-95	-3.127496664106839e-98	-1.5155131008313367e-97

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes4.9s (1.2%)

Compiler: Compiled 32128 to 24567 computations (23.5% saved)

bsearch173.0ms (0%)

Steps

Iters	Range		Point
10	5.4193571262166975e-127	1.296649663451133e-116	6.0002321974644175e-117
6	-9.747445792937644e-88	-1.7847722545660657e-88	-4.6667884751615243e-88

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes4.6s (1.2%)

Compiler: Compiled 30452 to 23223 computations (23.7% saved)

bsearch176.0ms (0%)

Steps

Iters	Range		Point
10	5.4193571262166975e-127	1.296649663451133e-116	4.180345886249698e-117
6	-9.747445792937644e-88	-1.7847722545660657e-88	-1.9578879993731398e-88

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes3.5s (0.9%)

Compiler: Compiled 28627 to 21844 computations (23.7% saved)

bsearch182.0ms (0%)

Steps

Iters	Range		Point
10	5.4193571262166975e-127	1.296649663451133e-116	1.5942796493750423e-119
6	-9.747445792937644e-88	-1.7847722545660657e-88	-2.7872461029704355e-88

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes3.8s (1%)

Compiler: Compiled 28127 to 21464 computations (23.7% saved)

bsearch203.0ms (0.1%)

Steps

Iters	Range		Point
10	5.4193571262166975e-127	1.296649663451133e-116	1.880166588690414e-126
8	-2.9653885483417006e-95	-3.127496664106839e-98	-1.810752780242958e-96

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes3.6s (0.9%)

Compiler: Compiled 27727 to 21160 computations (23.7% saved)

bsearch245.0ms (0.1%)

Steps

Iters

Range

Point

5.4193571262166975e-127

1.296649663451133e-116

3.2624909142672755e-121

-2.9653885483417006e-95

-3.127496664106839e-98

-2.7623975969650846e-95

-6.923305894809327e+184

-1.4089704025305819e+184

-1.4246415369043404e+184

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes3.3s (0.8%)

Compiler: Compiled 27077 to 20670 computations (23.7% saved)

bsearch171.0ms (0%)

Steps

Iters	Range		Point
10	5.4193571262166975e-127	1.296649663451133e-116	9.985821249938532e-120
6	-9.747445792937644e-88	-1.7847722545660657e-88	-7.670056855252757e-88

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes3.6s (0.9%)

Compiler: Compiled 26977 to 20594 computations (23.7% saved)

bsearch224.0ms (0.1%)

Steps

Iters	Range		Point
8	1.2161417078115907e+40	2.553896069688243e+44	4.2121847874261014e+40
6	1.3007208410532876e-158	8.542856377924782e-158	8.38670249307762e-158
9	-8.667967744225802e-88	-1.6593804892390393e-96	-3.087448234319778e-96
10	-5501499.728548278	-0.0002508700330533129	-0.5129642332068288

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes2.9s (0.7%)

Compiler: Compiled 19327 to 15035 computations (22.2% saved)

bsearch238.0ms (0.1%)

Steps

Iters	Range		Point
8	1.2161417078115907e+40	2.553896069688243e+44	1.2465856195046439e+40
6	1.3007208410532876e-158	8.542856377924782e-158	7.210503642306518e-158
9	-8.667967744225802e-88	-1.6593804892390393e-96	-2.769766079922634e-96
10	-5501499.728548278	-0.0002508700330533129	-4.022794147924689

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes2.6s (0.7%)

Compiler: Compiled 19099 to 14855 computations (22.2% saved)

bsearch245.0ms (0.1%)

Steps

Iters	Range		Point
8	1.2161417078115907e+40	2.553896069688243e+44	1.2465856195046439e+40
6	1.3007208410532876e-158	8.542856377924782e-158	3.2399814008711825e-158
9	-8.667967744225802e-88	-1.6593804892390393e-96	-3.087448234319778e-96
10	-5501499.728548278	-0.0002508700330533129	-170.12582257842217

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes2.1s (0.5%)

Compiler: Compiled 19004 to 14780 computations (22.2% saved)

bsearch124.0ms (0%)

Steps

Iters	Range		Point
6	1.3007208410532876e-158	8.542856377924782e-158	8.074394723383298e-158
9	-8.667967744225802e-88	-1.6593804892390393e-96	-3.3025876039701445e-94

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes1.5s (0.4%)

Compiler: Compiled 16946 to 13099 computations (22.7% saved)

bsearch0.0ms (0%)

regimes2.2s (0.6%)

Compiler: Compiled 15954 to 12471 computations (21.8% saved)

bsearch85.0ms (0%)

Steps

Iters	Range		Point
5	0.08789707426101848	0.3192886044458171	0.11895529779941548
10	-5501499.728548278	-0.0002508700330533129	-0.09886546233103015

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes504.0ms (0.1%)

Compiler: Compiled 3114 to 2403 computations (22.8% saved)

bsearch235.0ms (0.1%)

Steps

Iters	Range		Point
7	4.2593155036901154e+135	3.1721595979697295e+137	3.036099748585488e+137
7	3.78811357825421e-71	4.123108452651707e-69	5.598151039956418e-71
6	-9.747445792937644e-88	-1.7847722545660657e-88	-1.9578879993731398e-88
9	-3.879217019056348e+100	-2.0262639954443557e+92	-3.785048231465137e+100

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes740.0ms (0.2%)

Compiler: Compiled 2842 to 2199 computations (22.6% saved)

bsearch154.0ms (0%)

Steps

Iters	Range		Point
5	0.08789707426101848	0.3192886044458171	0.12752623020513543
9	8.152404560560052e-170	1.8045319182503264e-164	1.6950306735437461e-164
9	-8.869829046737097e-108	-5.3998046421389296e-114	-1.0719328307788216e-113

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes122.0ms (0%)

Compiler: Compiled 543 to 435 computations (19.9% saved)

bsearch111.0ms (0%)

Steps

Iters	Range		Point
5	3.137909259781962e-122	7.980502883565683e-122	7.878230629541253e-122
9	-5.21853059988544e-139	-1.4498917020828955e-148	-5.114548850981367e-139

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes84.0ms (0%)

Compiler: Compiled 228 to 207 computations (9.2% saved)

bsearch155.0ms (0%)

Steps

Iters	Range		Point
8	4.123108452651707e-69	4.773375663548841e-65	3.29263803328796e-66
11	-3.311046083907212e+17	-0.00030631882089526694	-0.0003104848319893586

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes68.0ms (0%)

Compiler: Compiled 93 to 108 computations (-16.1% saved)

bsearch163.0ms (0%)

Steps

Iters	Range		Point
8	4.123108452651707e-69	4.773375663548841e-65	3.917555686498155e-66
11	-3.311046083907212e+17	-0.00030631882089526694	-246.96991901702776

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes56.0ms (0%)

Compiler: Compiled 54 to 81 computations (-50% saved)

bsearch70.0ms (0%)

Steps

Iters	Range		Point
8	3.584088181941079e-05	0.08789707426101848	0.04709131752104685
6	-0.0002508700330533129	-5.866170590077117e-05	-0.00023345068908161738

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes23.0ms (0%)

Compiler: Compiled 15 to 54 computations (-260% saved)

bsearch51.0ms (0%)

Compiler: Compiled 1441 to 828 computations (42.5% saved)

simplify20.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	325	1846
1	325	1846

end0.0ms (0%)

sample8.2s (2.1%)

Algorithm

1×

intervals

Results

1.4s	2614×	body	1024	valid
482.0ms	1285×	body	512	valid
448.0ms	3504×	body	128	valid
189.0ms	1435×	body	128	invalid
152.0ms	590×	body	256	valid
44.0ms	122×	body	512	invalid
32.0ms	65×	body	1024	invalid
26.0ms	91×	body	256	invalid
5.0ms	7×	body	2048	valid

Compiler

Compiled 86945 to 61312 computations (29.5% saved)