Details

analyze0.0ms (0%)

Algorithm

1×

random

sample29.0ms (0.4%)

Algorithm

1×

intervals

Results

24.0ms

256×

body

128

valid

Compiler

Compiled 89 to 89 computations (0% saved)

simplify105.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	31	1
1	31	1

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

Counts

2 → 2

Compiler

Compiled 1 to 1 computations (0% saved)

localize27.0ms (0.4%)

Local error

Found 8 expressions with local error:

1.0b	(+.f64 (+.f64 (+.f64 (.f64 1335/4 (pow.f64 33096 6)) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (.f64 11/2 (pow.f64 33096 8))) (/.f64 77617 (.f64 2 33096)))
1.0b	(*.f64 1335/4 (pow.f64 33096 6))
1.0b	(*.f64 11/2 (pow.f64 33096 8))
1.0b	(+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6)))
1.0b	(*.f64 1335/4 (pow.f64 33096 6))
1.0b	(*.f64 11/2 (pow.f64 33096 8))
1.0b	(+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6)))
62.0b	(+.f64 (+.f64 (.f64 1335/4 (pow.f64 33096 6)) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (*.f64 11/2 (pow.f64 33096 8)))

rewrite66.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-sqr-sqrt_binary64_782`
14×	`add-exp-log_binary64_798` `associate-r_binary64_700`
13×	`add-log-exp_binary64_799`
10×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
8×	`add-cbrt-cube_binary64_796` `unpow-prod-down_binary64_839`
6×	`unswap-sqr_binary64_728` `prod-exp_binary64_809` `associate-l_binary64_701`
5×	`sum-log_binary64_851`
4×	`sqr-pow_binary64_732` `pow1_binary64_821`
2×	`flip3-+_binary64_763` `pow-exp_binary64_828` `flip-+_binary64_734` `pow-to-exp_binary64_829` `+-commutative_binary64_690` `cbrt-unprod_binary64_793` `*-commutative_binary64_691`
1×	`associate-+l+_binary64_693` `unsub-neg_binary64_754` `neg-sub0_binary64_755` `neg-log_binary64_853` `associate-+r-_binary64_694`

Counts

4 → 77

Calls

8 calls:

24.0ms	(+.f64 (+.f64 (.f64 1335/4 (pow.f64 33096 6)) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (*.f64 11/2 (pow.f64 33096 8)))
15.0ms	(+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6)))
6.0ms	(*.f64 1335/4 (pow.f64 33096 6))
6.0ms	(*.f64 11/2 (pow.f64 33096 8))
0.0ms	(+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6)))

series0.0ms (0%)

Counts

4 → 0

Calls

4 calls:

0.0ms	(+.f64 (+.f64 (.f64 1335/4 (pow.f64 33096 6)) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (*.f64 11/2 (pow.f64 33096 8)))
0.0ms	(+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6)))
0.0ms	(*.f64 11/2 (pow.f64 33096 8))
0.0ms	(*.f64 1335/4 (pow.f64 33096 6))

simplify220.0ms (3.4%)

Algorithm

1×	egg-herbie

Counts

77 → 77

Iterations

Useful iterations: 0 (203.0ms)

Iter	Nodes	Cost
0	4702	317
1	4702	317

prune277.0ms (4.3%)

Pruning

28 alts after pruning (27 fresh and 1 done)

	Pruned	Kept	Total
New	51	26	77
Fresh	0	1	1
Picked	0	0	0
Done	0	1	1
Total	51	28	79

Error

Counts

79 → 28

Compiler

Compiled 3345 to 3345 computations (0% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

1.0b	(+.f64 (log.f64 (exp.f64 -2)) (/.f64 77617 (*.f64 2 33096)))
1.0b	(+.f64 (log.f64 (exp.f64 -2)) (/.f64 77617 (*.f64 2 33096)))

rewrite10.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`*-un-lft-identity_binary64_760`
3×	`associate-+l+_binary64_693` `log-prod_binary64_846`
2×	`distribute-lft-out_binary64_711` `add-cube-cbrt_binary64_795` `add-log-exp_binary64_799` `pow1_binary64_821` `add-sqr-sqrt_binary64_782`
1×	`flip3-+_binary64_763` `add-exp-log_binary64_798` `flip-+_binary64_734` `add-cbrt-cube_binary64_796` `log-pow_binary64_849` `+-commutative_binary64_690` `sum-log_binary64_851`

Counts

1 → 16

Calls

2 calls:

8.0ms	(+.f64 (log.f64 (exp.f64 -2)) (/.f64 77617 (*.f64 2 33096)))
0.0ms	(+.f64 (log.f64 (exp.f64 -2)) (/.f64 77617 (*.f64 2 33096)))

series0.0ms (0%)

Counts

1 → 0

Calls

1 calls:

0.0ms

(+.f64 (log.f64 (exp.f64 -2)) (/.f64 77617 (*.f64 2 33096)))

simplify178.0ms (2.7%)

Algorithm

1×	egg-herbie

Counts

16 → 16

Iterations

Useful iterations: 0 (167.0ms)

Iter	Nodes	Cost
0	4747	54
1	4747	54

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

1.0b

(+.f64 (/.f64 31668445362675845444404538806099771396 -15834222681337922722202269403049885698) (/.f64 77617 (*.f64 2 33096)))

1.0b

(+.f64 (/.f64 31668445362675845444404538806099771396 -15834222681337922722202269403049885698) (/.f64 77617 (*.f64 2 33096)))

rewrite12.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`*-un-lft-identity_binary64_760` `add-log-exp_binary64_799`
1×	`distribute-lft-out_binary64_711` `flip3-+_binary64_763` `add-exp-log_binary64_798` `add-cube-cbrt_binary64_795` `frac-add_binary64_768` `flip-+_binary64_734` `add-cbrt-cube_binary64_796` `+-commutative_binary64_690` `sum-log_binary64_851` `pow1_binary64_821` `add-sqr-sqrt_binary64_782`

Counts

1 → 13

Calls

2 calls:

11.0ms

(+.f64 (/.f64 31668445362675845444404538806099771396 -15834222681337922722202269403049885698) (/.f64 77617 (*.f64 2 33096)))

0.0ms

(+.f64 (/.f64 31668445362675845444404538806099771396 -15834222681337922722202269403049885698) (/.f64 77617 (*.f64 2 33096)))

series0.0ms (0%)

Counts

1 → 0

Calls

1 calls:

0.0ms

(+.f64 (/.f64 31668445362675845444404538806099771396 -15834222681337922722202269403049885698) (/.f64 77617 (*.f64 2 33096)))

simplify10.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

13 → 13

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	36	34
1	36	34

localize26.0ms (0.4%)

Local error

Found 8 expressions with local error:

62.0b	(+.f64 (+.f64 (.f64 1 438605750846393161930703831040) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (*.f64 11/2 (pow.f64 33096 8)))
1.0b	(+.f64 (+.f64 (+.f64 (.f64 1 438605750846393161930703831040) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (.f64 11/2 (pow.f64 33096 8))) (/.f64 77617 (.f64 2 33096)))
1.0b	(*.f64 11/2 (pow.f64 33096 8))
1.0b	(+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6)))
1.0b	(+.f64 (+.f64 (+.f64 (.f64 1 438605750846393161930703831040) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (.f64 11/2 (pow.f64 33096 8))) (/.f64 77617 (.f64 2 33096)))
1.0b	(*.f64 11/2 (pow.f64 33096 8))
1.0b	(+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6)))
62.0b	(+.f64 (+.f64 (.f64 1 438605750846393161930703831040) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (*.f64 11/2 (pow.f64 33096 8)))

rewrite86.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-log-exp_binary64_799`
12×	`add-sqr-sqrt_binary64_782`
11×	`sum-log_binary64_851`
9×	`*-un-lft-identity_binary64_760` `add-exp-log_binary64_798`
7×	`add-cube-cbrt_binary64_795` `associate-r_binary64_700`
6×	`add-cbrt-cube_binary64_796`
4×	`flip3-+_binary64_763` `flip-+_binary64_734` `pow1_binary64_821` `unpow-prod-down_binary64_839`
3×	`unswap-sqr_binary64_728` `prod-exp_binary64_809` `+-commutative_binary64_690` `associate-l_binary64_701`
2×	`associate-+l+_binary64_693` `frac-add_binary64_768` `sqr-pow_binary64_732`
1×	`distribute-lft-out_binary64_711` `pow-exp_binary64_828` `unsub-neg_binary64_754` `neg-sub0_binary64_755` `pow-to-exp_binary64_829` `neg-log_binary64_853` `cbrt-unprod_binary64_793` `associate-+r-_binary64_694` `*-commutative_binary64_691`

Counts

4 → 69

Calls

8 calls:

27.0ms	(+.f64 (+.f64 (.f64 1 438605750846393161930703831040) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (*.f64 11/2 (pow.f64 33096 8)))
27.0ms	(+.f64 (+.f64 (+.f64 (.f64 1 438605750846393161930703831040) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (.f64 11/2 (pow.f64 33096 8))) (/.f64 77617 (.f64 2 33096)))
15.0ms	(+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6)))
6.0ms	(*.f64 11/2 (pow.f64 33096 8))
0.0ms	(+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6)))

series0.0ms (0%)

Counts

4 → 0

Calls

4 calls:

0.0ms	(+.f64 (+.f64 (.f64 1 438605750846393161930703831040) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (*.f64 11/2 (pow.f64 33096 8)))
0.0ms	(+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6)))
0.0ms	(+.f64 (+.f64 (+.f64 (.f64 1 438605750846393161930703831040) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (.f64 11/2 (pow.f64 33096 8))) (/.f64 77617 (.f64 2 33096)))
0.0ms	(*.f64 11/2 (pow.f64 33096 8))

simplify168.0ms (2.6%)

Algorithm

1×	egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 0 (147.0ms)

Iter	Nodes	Cost
0	4566	239
1	4566	239

localize29.0ms (0.4%)

Local error

Found 4 expressions with local error:

1.0b	(*.f64 11/2 (pow.f64 33096 8))
1.0b	(*.f64 1335/4 (pow.f64 33096 6))
1.0b	(*.f64 11/2 (pow.f64 33096 8))
1.0b	(*.f64 1335/4 (pow.f64 33096 6))

rewrite17.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-sqr-sqrt_binary64_782`
14×	`associate-r_binary64_700`
12×	`add-exp-log_binary64_798`
8×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795` `unpow-prod-down_binary64_839`
6×	`unswap-sqr_binary64_728` `prod-exp_binary64_809` `add-cbrt-cube_binary64_796` `associate-l_binary64_701`
4×	`sqr-pow_binary64_732`
2×	`add-log-exp_binary64_799` `pow-exp_binary64_828` `pow-to-exp_binary64_829` `cbrt-unprod_binary64_793` `pow1_binary64_821` `*-commutative_binary64_691`

Counts

2 → 50

Calls

4 calls:

6.0ms	(*.f64 1335/4 (pow.f64 33096 6))
6.0ms	(*.f64 11/2 (pow.f64 33096 8))
0.0ms	(*.f64 1335/4 (pow.f64 33096 6))
0.0ms	(*.f64 11/2 (pow.f64 33096 8))

series0.0ms (0%)

Counts

2 → 0

Calls

2 calls:

0.0ms	(*.f64 1335/4 (pow.f64 33096 6))
0.0ms	(*.f64 11/2 (pow.f64 33096 8))

simplify219.0ms (3.4%)

Algorithm

1×	egg-herbie

Counts

50 → 50

Iterations

Useful iterations: 0 (207.0ms)

Iter	Nodes	Cost
0	4726	247
1	4726	247

localize28.0ms (0.4%)

Local error

Found 8 expressions with local error:

62.0b	(+.f64 (+.f64 (.f64 (.f64 (sqrt.f64 1335/4) 36251545268736) (.f64 (sqrt.f64 1335/4) 36251545268736)) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (*.f64 11/2 (pow.f64 33096 8)))
1.0b	(*.f64 11/2 (pow.f64 33096 8))
1.0b	(+.f64 (+.f64 (+.f64 (.f64 (.f64 (sqrt.f64 1335/4) 36251545268736) (.f64 (sqrt.f64 1335/4) 36251545268736)) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (.f64 11/2 (pow.f64 33096 8))) (/.f64 77617 (.f64 2 33096)))
1.0b	(+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6)))
1.0b	(*.f64 11/2 (pow.f64 33096 8))
1.0b	(+.f64 (+.f64 (+.f64 (.f64 (.f64 (sqrt.f64 1335/4) 36251545268736) (.f64 (sqrt.f64 1335/4) 36251545268736)) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (.f64 11/2 (pow.f64 33096 8))) (/.f64 77617 (.f64 2 33096)))
1.0b	(+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6)))
62.0b	(+.f64 (+.f64 (.f64 (.f64 (sqrt.f64 1335/4) 36251545268736) (.f64 (sqrt.f64 1335/4) 36251545268736)) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (*.f64 11/2 (pow.f64 33096 8)))

rewrite98.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-log-exp_binary64_799`
12×	`add-sqr-sqrt_binary64_782`
11×	`sum-log_binary64_851`
9×	`*-un-lft-identity_binary64_760` `add-exp-log_binary64_798`
7×	`add-cube-cbrt_binary64_795` `associate-r_binary64_700`
6×	`add-cbrt-cube_binary64_796`
4×	`flip3-+_binary64_763` `flip-+_binary64_734` `pow1_binary64_821` `unpow-prod-down_binary64_839`
3×	`unswap-sqr_binary64_728` `prod-exp_binary64_809` `+-commutative_binary64_690` `associate-l_binary64_701`
2×	`associate-+l+_binary64_693` `frac-add_binary64_768` `sqr-pow_binary64_732`
1×	`distribute-lft-out_binary64_711` `pow-exp_binary64_828` `unsub-neg_binary64_754` `neg-sub0_binary64_755` `pow-to-exp_binary64_829` `neg-log_binary64_853` `cbrt-unprod_binary64_793` `associate-+r-_binary64_694` `*-commutative_binary64_691`

Counts

4 → 69

Calls

8 calls:

35.0ms	(+.f64 (+.f64 (.f64 (.f64 (sqrt.f64 1335/4) 36251545268736) (.f64 (sqrt.f64 1335/4) 36251545268736)) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (*.f64 11/2 (pow.f64 33096 8)))
31.0ms	(+.f64 (+.f64 (+.f64 (.f64 (.f64 (sqrt.f64 1335/4) 36251545268736) (.f64 (sqrt.f64 1335/4) 36251545268736)) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (.f64 11/2 (pow.f64 33096 8))) (/.f64 77617 (.f64 2 33096)))
15.0ms	(+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6)))
5.0ms	(*.f64 11/2 (pow.f64 33096 8))
0.0ms	(+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6)))

series0.0ms (0%)

Counts

4 → 0

Calls

4 calls:

0.0ms	(+.f64 (+.f64 (.f64 (.f64 (sqrt.f64 1335/4) 36251545268736) (.f64 (sqrt.f64 1335/4) 36251545268736)) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (*.f64 11/2 (pow.f64 33096 8)))
0.0ms	(+.f64 (+.f64 (+.f64 (.f64 (.f64 (sqrt.f64 1335/4) 36251545268736) (.f64 (sqrt.f64 1335/4) 36251545268736)) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (.f64 11/2 (pow.f64 33096 8))) (/.f64 77617 (.f64 2 33096)))
0.0ms	(+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6)))
0.0ms	(*.f64 11/2 (pow.f64 33096 8))

simplify82.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4183	239
1	4183	239

prune805.0ms (12.4%)

Pruning

78 alts after pruning (72 fresh and 6 done)

	Pruned	Kept	Total
New	163	54	217
Fresh	4	18	22
Picked	0	0	0
Done	0	6	6
Total	167	78	245

Error

Counts

245 → 78

Compiler

Compiled 7288 to 7288 computations (0% saved)

localize2.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize2.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize23.0ms (0.3%)

Local error

Found 8 expressions with local error:

1.0b	(/.f64 -1727054706789795712594998946636777062608680348615864320 1314174606957974582460077760)
1.0b	(*.f64 1335/4 (pow.f64 33096 6))
1.0b	(*.f64 11/2 (pow.f64 33096 8))
1.0b	(+.f64 (+.f64 (+.f64 (.f64 1335/4 (pow.f64 33096 6)) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (/.f64 -1727054706789795712594998946636777062608680348615864320 1314174606957974582460077760) (.f64 -121 (pow.f64 33096 4))) -2))) (.f64 11/2 (pow.f64 33096 8))) (/.f64 77617 (.f64 2 33096)))
1.0b	(*.f64 1335/4 (pow.f64 33096 6))
1.0b	(*.f64 11/2 (pow.f64 33096 8))
1.0b	(+.f64 (+.f64 (+.f64 (.f64 1335/4 (pow.f64 33096 6)) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (/.f64 -1727054706789795712594998946636777062608680348615864320 1314174606957974582460077760) (.f64 -121 (pow.f64 33096 4))) -2))) (.f64 11/2 (pow.f64 33096 8))) (/.f64 77617 (.f64 2 33096)))
62.0b	(+.f64 (+.f64 (.f64 1335/4 (pow.f64 33096 6)) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (/.f64 -1727054706789795712594998946636777062608680348615864320 1314174606957974582460077760) (.f64 -121 (pow.f64 33096 4))) -2))) (*.f64 11/2 (pow.f64 33096 8)))

rewrite54.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-sqr-sqrt_binary64_782`
18×	`add-log-exp_binary64_799`
14×	`add-exp-log_binary64_798` `associate-r_binary64_700`
12×	`*-un-lft-identity_binary64_760`
10×	`add-cube-cbrt_binary64_795`
9×	`sum-log_binary64_851`
8×	`add-cbrt-cube_binary64_796` `unpow-prod-down_binary64_839`
6×	`unswap-sqr_binary64_728` `prod-exp_binary64_809` `associate-l_binary64_701`
4×	`sqr-pow_binary64_732` `pow1_binary64_821`
3×	`flip3-+_binary64_763` `flip-+_binary64_734`
2×	`pow-exp_binary64_828` `associate-+l+_binary64_693` `frac-add_binary64_768` `pow-to-exp_binary64_829` `+-commutative_binary64_690` `cbrt-unprod_binary64_793` `*-commutative_binary64_691`
1×	`distribute-lft-out_binary64_711`

Counts

4 → 80

Calls

8 calls:

19.0ms	(+.f64 (+.f64 (+.f64 (.f64 1335/4 (pow.f64 33096 6)) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (/.f64 -1727054706789795712594998946636777062608680348615864320 1314174606957974582460077760) (.f64 -121 (pow.f64 33096 4))) -2))) (.f64 11/2 (pow.f64 33096 8))) (/.f64 77617 (.f64 2 33096)))
14.0ms	(+.f64 (+.f64 (.f64 1335/4 (pow.f64 33096 6)) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (/.f64 -1727054706789795712594998946636777062608680348615864320 1314174606957974582460077760) (.f64 -121 (pow.f64 33096 4))) -2))) (*.f64 11/2 (pow.f64 33096 8)))
5.0ms	(*.f64 1335/4 (pow.f64 33096 6))
5.0ms	(*.f64 11/2 (pow.f64 33096 8))
0.0ms	(+.f64 (+.f64 (+.f64 (.f64 1335/4 (pow.f64 33096 6)) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (/.f64 -1727054706789795712594998946636777062608680348615864320 1314174606957974582460077760) (.f64 -121 (pow.f64 33096 4))) -2))) (.f64 11/2 (pow.f64 33096 8))) (/.f64 77617 (.f64 2 33096)))

series0.0ms (0%)

Counts

4 → 0

Calls

4 calls:

0.0ms	(+.f64 (+.f64 (.f64 1335/4 (pow.f64 33096 6)) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (/.f64 -1727054706789795712594998946636777062608680348615864320 1314174606957974582460077760) (.f64 -121 (pow.f64 33096 4))) -2))) (*.f64 11/2 (pow.f64 33096 8)))
0.0ms	(+.f64 (+.f64 (+.f64 (.f64 1335/4 (pow.f64 33096 6)) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (/.f64 -1727054706789795712594998946636777062608680348615864320 1314174606957974582460077760) (.f64 -121 (pow.f64 33096 4))) -2))) (.f64 11/2 (pow.f64 33096 8))) (/.f64 77617 (.f64 2 33096)))
0.0ms	(*.f64 11/2 (pow.f64 33096 8))
0.0ms	(*.f64 1335/4 (pow.f64 33096 6))

simplify193.0ms (3%)

Algorithm

1×	egg-herbie

Counts

80 → 80

Iterations

Useful iterations: 0 (174.0ms)

Iter	Nodes	Cost
0	4743	325
1	4743	325

localize27.0ms (0.4%)

Local error

Found 8 expressions with local error:

62.0b	(+.f64 (+.f64 (.f64 1 438605750846393161930703831040) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (.f64 (.f64 (cbrt.f64 -1314174461784456350457997632) (cbrt.f64 -1314174461784456350457997632)) (cbrt.f64 -1314174461784456350457997632)) (.f64 -121 (pow.f64 33096 4))) -2))) (*.f64 11/2 (pow.f64 33096 8)))
1.0b	(+.f64 (+.f64 (+.f64 (.f64 1 438605750846393161930703831040) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (.f64 (.f64 (cbrt.f64 -1314174461784456350457997632) (cbrt.f64 -1314174461784456350457997632)) (cbrt.f64 -1314174461784456350457997632)) (.f64 -121 (pow.f64 33096 4))) -2))) (.f64 11/2 (pow.f64 33096 8))) (/.f64 77617 (.f64 2 33096)))
1.0b	(.f64 (.f64 (cbrt.f64 -1314174461784456350457997632) (cbrt.f64 -1314174461784456350457997632)) (cbrt.f64 -1314174461784456350457997632))
1.0b	(*.f64 11/2 (pow.f64 33096 8))
1.0b	(+.f64 (+.f64 (+.f64 (.f64 1 438605750846393161930703831040) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (.f64 (.f64 (cbrt.f64 -1314174461784456350457997632) (cbrt.f64 -1314174461784456350457997632)) (cbrt.f64 -1314174461784456350457997632)) (.f64 -121 (pow.f64 33096 4))) -2))) (.f64 11/2 (pow.f64 33096 8))) (/.f64 77617 (.f64 2 33096)))
1.0b	(.f64 (.f64 (cbrt.f64 -1314174461784456350457997632) (cbrt.f64 -1314174461784456350457997632)) (cbrt.f64 -1314174461784456350457997632))
1.0b	(*.f64 11/2 (pow.f64 33096 8))
62.0b	(+.f64 (+.f64 (.f64 1 438605750846393161930703831040) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (.f64 (.f64 (cbrt.f64 -1314174461784456350457997632) (cbrt.f64 -1314174461784456350457997632)) (cbrt.f64 -1314174461784456350457997632)) (.f64 -121 (pow.f64 33096 4))) -2))) (*.f64 11/2 (pow.f64 33096 8)))

rewrite64.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

23×	`pow1_binary64_821`
18×	`add-log-exp_binary64_799`
16×	`add-sqr-sqrt_binary64_782`
14×	`add-exp-log_binary64_798`
13×	`associate-r_binary64_700`
11×	`*-un-lft-identity_binary64_760`
9×	`pow1/3_binary64_842` `add-cube-cbrt_binary64_795` `sum-log_binary64_851` `pow-prod-up_binary64_830`
7×	`add-cbrt-cube_binary64_796`
6×	`prod-exp_binary64_809` `pow-plus_binary64_823`
5×	`unswap-sqr_binary64_728` `pow-prod-down_binary64_831`
4×	`associate-l_binary64_701` `cbrt-prod_binary64_791` `cbrt-unprod_binary64_793` `unpow-prod-down_binary64_839`
3×	`flip3-+_binary64_763` `pow-sqr_binary64_733` `flip-+_binary64_734`
2×	`pow2_binary64_841` `associate-+l+_binary64_693` `frac-add_binary64_768` `+-commutative_binary64_690` `sqr-pow_binary64_732` `*-commutative_binary64_691`
1×	`distribute-lft-out_binary64_711` `pow-exp_binary64_828` `rem-3cbrt-lft_binary64_785` `pow-to-exp_binary64_829` `pow3_binary64_843`

Counts

4 → 91

Calls

8 calls:

21.0ms	(+.f64 (+.f64 (+.f64 (.f64 1 438605750846393161930703831040) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (.f64 (.f64 (cbrt.f64 -1314174461784456350457997632) (cbrt.f64 -1314174461784456350457997632)) (cbrt.f64 -1314174461784456350457997632)) (.f64 -121 (pow.f64 33096 4))) -2))) (.f64 11/2 (pow.f64 33096 8))) (/.f64 77617 (.f64 2 33096)))
16.0ms	(+.f64 (+.f64 (.f64 1 438605750846393161930703831040) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (.f64 (.f64 (cbrt.f64 -1314174461784456350457997632) (cbrt.f64 -1314174461784456350457997632)) (cbrt.f64 -1314174461784456350457997632)) (.f64 -121 (pow.f64 33096 4))) -2))) (*.f64 11/2 (pow.f64 33096 8)))
9.0ms	(.f64 (.f64 (cbrt.f64 -1314174461784456350457997632) (cbrt.f64 -1314174461784456350457997632)) (cbrt.f64 -1314174461784456350457997632))
6.0ms	(*.f64 11/2 (pow.f64 33096 8))
0.0ms	(*.f64 11/2 (pow.f64 33096 8))

series0.0ms (0%)

Counts

4 → 0

Calls

4 calls:

0.0ms	(+.f64 (+.f64 (.f64 1 438605750846393161930703831040) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (.f64 (.f64 (cbrt.f64 -1314174461784456350457997632) (cbrt.f64 -1314174461784456350457997632)) (cbrt.f64 -1314174461784456350457997632)) (.f64 -121 (pow.f64 33096 4))) -2))) (*.f64 11/2 (pow.f64 33096 8)))
0.0ms	(+.f64 (+.f64 (+.f64 (.f64 1 438605750846393161930703831040) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (.f64 (.f64 (cbrt.f64 -1314174461784456350457997632) (cbrt.f64 -1314174461784456350457997632)) (cbrt.f64 -1314174461784456350457997632)) (.f64 -121 (pow.f64 33096 4))) -2))) (.f64 11/2 (pow.f64 33096 8))) (/.f64 77617 (.f64 2 33096)))
0.0ms	(.f64 (.f64 (cbrt.f64 -1314174461784456350457997632) (cbrt.f64 -1314174461784456350457997632)) (cbrt.f64 -1314174461784456350457997632))
0.0ms	(*.f64 11/2 (pow.f64 33096 8))

simplify64.0ms (1%)

Algorithm

1×	egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	4577	390
1	4577	390

localize30.0ms (0.5%)

Local error

Found 8 expressions with local error:

4.1b	(exp.f64 (+.f64 (log.f64 1335/4) (log.f64 1314174534371215466459037696)))
1.0b	(*.f64 11/2 (pow.f64 33096 8))
1.0b	(+.f64 (+.f64 (+.f64 (exp.f64 (+.f64 (log.f64 1335/4) (log.f64 1314174534371215466459037696))) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (.f64 11/2 (pow.f64 33096 8))) (/.f64 77617 (*.f64 2 33096)))
1.0b	(+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6)))
1.0b	(+.f64 (+.f64 (+.f64 (exp.f64 (+.f64 (log.f64 1335/4) (log.f64 1314174534371215466459037696))) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (.f64 11/2 (pow.f64 33096 8))) (/.f64 77617 (*.f64 2 33096)))
1.0b	(+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6)))
4.1b	(exp.f64 (+.f64 (log.f64 1335/4) (log.f64 1314174534371215466459037696)))
62.0b	(+.f64 (+.f64 (exp.f64 (+.f64 (log.f64 1335/4) (log.f64 1314174534371215466459037696))) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (.f64 11/2 (pow.f64 33096 8)))

rewrite89.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Rules

23×	`add-log-exp_binary64_799`
12×	`sum-log_binary64_851`
11×	`*-un-lft-identity_binary64_760`
8×	`pow1_binary64_821`
7×	`exp-prod_binary64_812`
5×	`distribute-lft-out_binary64_711` `add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782`
4×	`flip3-+_binary64_763` `add-exp-log_binary64_798` `flip-+_binary64_734` `add-cbrt-cube_binary64_796` `log-pow_binary64_849`
3×	`+-commutative_binary64_690`
2×	`associate-+l+_binary64_693` `frac-add_binary64_768` `rem-exp-log_binary64_800`
1×	`unsub-neg_binary64_754` `neg-sub0_binary64_755` `neg-log_binary64_853` `exp-sum_binary64_806` `associate-+r-_binary64_694`

Counts

4 → 61

Calls

8 calls:

33.0ms	(+.f64 (+.f64 (+.f64 (exp.f64 (+.f64 (log.f64 1335/4) (log.f64 1314174534371215466459037696))) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (.f64 11/2 (pow.f64 33096 8))) (/.f64 77617 (*.f64 2 33096)))
26.0ms	(+.f64 (+.f64 (exp.f64 (+.f64 (log.f64 1335/4) (log.f64 1314174534371215466459037696))) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (.f64 11/2 (pow.f64 33096 8)))
15.0ms	(+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6)))
6.0ms	(exp.f64 (+.f64 (log.f64 1335/4) (log.f64 1314174534371215466459037696)))
0.0ms	(+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6)))

series0.0ms (0%)

Counts

4 → 0

Calls

4 calls:

0.0ms	(+.f64 (+.f64 (exp.f64 (+.f64 (log.f64 1335/4) (log.f64 1314174534371215466459037696))) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (.f64 11/2 (pow.f64 33096 8)))
0.0ms	(+.f64 (+.f64 (+.f64 (exp.f64 (+.f64 (log.f64 1335/4) (log.f64 1314174534371215466459037696))) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (.f64 11/2 (pow.f64 33096 8))) (/.f64 77617 (*.f64 2 33096)))
0.0ms	(+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6)))
0.0ms	(exp.f64 (+.f64 (log.f64 1335/4) (log.f64 1314174534371215466459037696)))

simplify91.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

61 → 61

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	4599	170
1	4599	170

prune943.0ms (14.5%)

Pruning

101 alts after pruning (91 fresh and 10 done)

	Pruned	Kept	Total
New	192	40	232
Fresh	16	51	67
Picked	0	0	0
Done	1	10	11
Total	209	101	310

Error

Counts

310 → 101

Compiler

Compiled 7836 to 7836 computations (0% saved)

localize2.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

1.0b

(+.f64 (/.f64 31668445362675845444404538806099771396 -15834222681337922722202269403049885698) (/.f64 77617 (*.f64 2 33096)))

1.0b

(+.f64 (/.f64 31668445362675845444404538806099771396 -15834222681337922722202269403049885698) (/.f64 77617 (*.f64 2 33096)))

rewrite12.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`*-un-lft-identity_binary64_760` `add-log-exp_binary64_799`
1×	`distribute-lft-out_binary64_711` `flip3-+_binary64_763` `add-exp-log_binary64_798` `add-cube-cbrt_binary64_795` `frac-add_binary64_768` `flip-+_binary64_734` `add-cbrt-cube_binary64_796` `+-commutative_binary64_690` `sum-log_binary64_851` `pow1_binary64_821` `add-sqr-sqrt_binary64_782`

Counts

1 → 13

Calls

2 calls:

11.0ms

(+.f64 (/.f64 31668445362675845444404538806099771396 -15834222681337922722202269403049885698) (/.f64 77617 (*.f64 2 33096)))

0.0ms

(+.f64 (/.f64 31668445362675845444404538806099771396 -15834222681337922722202269403049885698) (/.f64 77617 (*.f64 2 33096)))

series0.0ms (0%)

Counts

1 → 0

Calls

1 calls:

0.0ms

(+.f64 (/.f64 31668445362675845444404538806099771396 -15834222681337922722202269403049885698) (/.f64 77617 (*.f64 2 33096)))

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

13 → 13

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	36	34
1	36	34

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

62.0b	(+.f64 (+.f64 (.f64 1 438605750846393161930703831040) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (.f64 (.f64 (cbrt.f64 -1314174461784456350457997632) (cbrt.f64 -1314174461784456350457997632)) (cbrt.f64 -1314174461784456350457997632)) (.f64 -121 (pow.f64 33096 4))) -2))) 524049433861559890414006308163339017072433/66192)
1.0b	(.f64 (.f64 (cbrt.f64 -1314174461784456350457997632) (cbrt.f64 -1314174461784456350457997632)) (cbrt.f64 -1314174461784456350457997632))
1.0b	(.f64 (.f64 (cbrt.f64 -1314174461784456350457997632) (cbrt.f64 -1314174461784456350457997632)) (cbrt.f64 -1314174461784456350457997632))
62.0b	(+.f64 (+.f64 (.f64 1 438605750846393161930703831040) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (.f64 (.f64 (cbrt.f64 -1314174461784456350457997632) (cbrt.f64 -1314174461784456350457997632)) (cbrt.f64 -1314174461784456350457997632)) (.f64 -121 (pow.f64 33096 4))) -2))) 524049433861559890414006308163339017072433/66192)

rewrite33.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`pow1_binary64_821`
9×	`pow1/3_binary64_842` `pow-prod-up_binary64_830`
7×	`add-exp-log_binary64_798` `add-log-exp_binary64_799`
6×	`-un-lft-identity_binary64_760` `pow-plus_binary64_823` `associate-r*_binary64_700` `add-sqr-sqrt_binary64_782`
5×	`pow-prod-down_binary64_831`
4×	`add-cube-cbrt_binary64_795` `cbrt-prod_binary64_791`
3×	`prod-exp_binary64_809` `pow-sqr_binary64_733` `add-cbrt-cube_binary64_796` `sum-log_binary64_851` `cbrt-unprod_binary64_793`
2×	`pow2_binary64_841` `unswap-sqr_binary64_728`
1×	`distribute-lft-out_binary64_711` `flip3-+_binary64_763` `associate-+l+_binary64_693` `rem-3cbrt-lft_binary64_785` `flip-+_binary64_734` `+-commutative_binary64_690` `associate-l_binary64_701` `pow3_binary64_843` `*-commutative_binary64_691`

Counts

2 → 50

Calls

4 calls:

15.0ms	(+.f64 (+.f64 (.f64 1 438605750846393161930703831040) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (.f64 (.f64 (cbrt.f64 -1314174461784456350457997632) (cbrt.f64 -1314174461784456350457997632)) (cbrt.f64 -1314174461784456350457997632)) (.f64 -121 (pow.f64 33096 4))) -2))) 524049433861559890414006308163339017072433/66192)
12.0ms	(.f64 (.f64 (cbrt.f64 -1314174461784456350457997632) (cbrt.f64 -1314174461784456350457997632)) (cbrt.f64 -1314174461784456350457997632))
0.0ms	(.f64 (.f64 (cbrt.f64 -1314174461784456350457997632) (cbrt.f64 -1314174461784456350457997632)) (cbrt.f64 -1314174461784456350457997632))
0.0ms	(+.f64 (+.f64 (.f64 1 438605750846393161930703831040) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (.f64 (.f64 (cbrt.f64 -1314174461784456350457997632) (cbrt.f64 -1314174461784456350457997632)) (cbrt.f64 -1314174461784456350457997632)) (.f64 -121 (pow.f64 33096 4))) -2))) 524049433861559890414006308163339017072433/66192)

series0.0ms (0%)

Counts

2 → 0

Calls

2 calls:

0.0ms

(+.f64 (+.f64 (*.f64 1 438605750846393161930703831040) (*.f64 (*.f64 77617 77617) (+.f64 (+.f64 (*.f64 (*.f64 (cbrt.f64 -1314174461784456350457997632) (cbrt.f64 -1314174461784456350457997632)) (cbrt.f64 -1314174461784456350457997632)) (*.f64 -121 (pow.f64 33096 4))) -2))) 524049433861559890414006308163339017072433/66192)

0.0ms

(*.f64 (*.f64 (cbrt.f64 -1314174461784456350457997632) (cbrt.f64 -1314174461784456350457997632)) (cbrt.f64 -1314174461784456350457997632))

simplify76.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

50 → 50

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4808	222
1	4808	222

localize25.0ms (0.4%)

Local error

Found 8 expressions with local error:

62.0b	(+.f64 (+.f64 (.f64 (sqrt.f64 438605750846393161930703831040) (sqrt.f64 438605750846393161930703831040)) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (*.f64 11/2 (pow.f64 33096 8)))
1.0b	(+.f64 (+.f64 (+.f64 (.f64 (sqrt.f64 438605750846393161930703831040) (sqrt.f64 438605750846393161930703831040)) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (.f64 11/2 (pow.f64 33096 8))) (/.f64 77617 (.f64 2 33096)))
1.0b	(*.f64 11/2 (pow.f64 33096 8))
1.0b	(+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6)))
1.0b	(+.f64 (+.f64 (+.f64 (.f64 (sqrt.f64 438605750846393161930703831040) (sqrt.f64 438605750846393161930703831040)) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (.f64 11/2 (pow.f64 33096 8))) (/.f64 77617 (.f64 2 33096)))
1.0b	(*.f64 11/2 (pow.f64 33096 8))
1.0b	(+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6)))
62.0b	(+.f64 (+.f64 (.f64 (sqrt.f64 438605750846393161930703831040) (sqrt.f64 438605750846393161930703831040)) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (*.f64 11/2 (pow.f64 33096 8)))

rewrite87.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-log-exp_binary64_799`
12×	`add-sqr-sqrt_binary64_782`
11×	`sum-log_binary64_851`
9×	`*-un-lft-identity_binary64_760` `add-exp-log_binary64_798`
7×	`add-cube-cbrt_binary64_795` `associate-r_binary64_700`
6×	`add-cbrt-cube_binary64_796`
4×	`flip3-+_binary64_763` `flip-+_binary64_734` `pow1_binary64_821` `unpow-prod-down_binary64_839`
3×	`unswap-sqr_binary64_728` `prod-exp_binary64_809` `+-commutative_binary64_690` `associate-l_binary64_701`
2×	`associate-+l+_binary64_693` `frac-add_binary64_768` `sqr-pow_binary64_732`
1×	`distribute-lft-out_binary64_711` `pow-exp_binary64_828` `unsub-neg_binary64_754` `neg-sub0_binary64_755` `pow-to-exp_binary64_829` `neg-log_binary64_853` `cbrt-unprod_binary64_793` `associate-+r-_binary64_694` `*-commutative_binary64_691`

Counts

4 → 69

Calls

8 calls:

28.0ms	(+.f64 (+.f64 (+.f64 (.f64 (sqrt.f64 438605750846393161930703831040) (sqrt.f64 438605750846393161930703831040)) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (.f64 11/2 (pow.f64 33096 8))) (/.f64 77617 (.f64 2 33096)))
24.0ms	(+.f64 (+.f64 (.f64 (sqrt.f64 438605750846393161930703831040) (sqrt.f64 438605750846393161930703831040)) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (*.f64 11/2 (pow.f64 33096 8)))
18.0ms	(+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6)))
5.0ms	(*.f64 11/2 (pow.f64 33096 8))
0.0ms	(+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6)))

series0.0ms (0%)

Counts

4 → 0

Calls

4 calls:

0.0ms	(+.f64 (+.f64 (.f64 (sqrt.f64 438605750846393161930703831040) (sqrt.f64 438605750846393161930703831040)) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (*.f64 11/2 (pow.f64 33096 8)))
0.0ms	(+.f64 (+.f64 (+.f64 (.f64 (sqrt.f64 438605750846393161930703831040) (sqrt.f64 438605750846393161930703831040)) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (.f64 11/2 (pow.f64 33096 8))) (/.f64 77617 (.f64 2 33096)))
0.0ms	(+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6)))
0.0ms	(*.f64 11/2 (pow.f64 33096 8))

simplify114.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 0 (94.0ms)

Iter	Nodes	Cost
0	6198	239

localize29.0ms (0.4%)

Local error

Found 4 expressions with local error:

4.1b	(exp.f64 (+.f64 (log.f64 1335/4) (log.f64 1314174534371215466459037696)))
1.0b	(*.f64 11/2 (pow.f64 33096 8))
1.0b	(*.f64 11/2 (pow.f64 33096 8))
4.1b	(exp.f64 (+.f64 (log.f64 1335/4) (log.f64 1314174534371215466459037696)))

rewrite16.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-sqr-sqrt_binary64_782`
10×	`*-un-lft-identity_binary64_760`
7×	`exp-prod_binary64_812` `add-exp-log_binary64_798` `associate-r_binary64_700`
6×	`add-cube-cbrt_binary64_795` `pow1_binary64_821`
4×	`distribute-lft-out_binary64_711` `add-cbrt-cube_binary64_796` `log-pow_binary64_849` `unpow-prod-down_binary64_839`
3×	`unswap-sqr_binary64_728` `prod-exp_binary64_809` `add-log-exp_binary64_799` `associate-l_binary64_701`
2×	`rem-exp-log_binary64_800` `sqr-pow_binary64_732`
1×	`pow-exp_binary64_828` `pow-to-exp_binary64_829` `exp-sum_binary64_806` `sum-log_binary64_851` `cbrt-unprod_binary64_793` `*-commutative_binary64_691`

Counts

2 → 42

Calls

4 calls:

6.0ms	(exp.f64 (+.f64 (log.f64 1335/4) (log.f64 1314174534371215466459037696)))
5.0ms	(*.f64 11/2 (pow.f64 33096 8))
0.0ms	(*.f64 11/2 (pow.f64 33096 8))
0.0ms	(exp.f64 (+.f64 (log.f64 1335/4) (log.f64 1314174534371215466459037696)))

series0.0ms (0%)

Counts

2 → 0

Calls

2 calls:

0.0ms	(exp.f64 (+.f64 (log.f64 1335/4) (log.f64 1314174534371215466459037696)))
0.0ms	(*.f64 11/2 (pow.f64 33096 8))

simplify88.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

42 → 42

Iterations

Useful iterations: 0 (79.0ms)

Iter	Nodes	Cost
0	4711	183
1	4711	183

prune738.0ms (11.3%)

Pruning

136 alts after pruning (121 fresh and 15 done)

	Pruned	Kept	Total
New	130	44	174
Fresh	9	77	86
Picked	0	0	0
Done	0	15	15
Total	139	136	275

Error

Counts

275 → 136

Compiler

Compiled 3518 to 3518 computations (0% saved)

simplify307.0ms (4.7%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (7.0ms)

Iter	Nodes	Cost
0	1011	6941
1	1011	6941

Compiler

Compiled 2703 to 2703 computations (0% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	1	1
1	1	1

end0.0ms (0%)

sample836.0ms (12.8%)

Algorithm

1×

intervals

Results

726.0ms

8000×

body

128

valid

Compiler

Compiled 2750 to 2750 computations (0% saved)

Details

analyze0.0ms (0%)

sample29.0ms (0.4%)

simplify105.0ms (1.6%)

prune2.0ms (0%)

localize27.0ms (0.4%)

rewrite66.0ms (1%)

series0.0ms (0%)

simplify220.0ms (3.4%)

prune277.0ms (4.3%)

localize8.0ms (0.1%)

rewrite10.0ms (0.2%)

series0.0ms (0%)

simplify178.0ms (2.7%)

localize6.0ms (0.1%)

rewrite12.0ms (0.2%)

series0.0ms (0%)

simplify10.0ms (0.2%)

localize26.0ms (0.4%)

rewrite86.0ms (1.3%)

series0.0ms (0%)

simplify168.0ms (2.6%)

localize29.0ms (0.4%)

rewrite17.0ms (0.3%)

series0.0ms (0%)

simplify219.0ms (3.4%)

localize28.0ms (0.4%)

rewrite98.0ms (1.5%)

series0.0ms (0%)

simplify82.0ms (1.3%)

prune805.0ms (12.4%)

localize2.0ms (0%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify7.0ms (0.1%)

localize2.0ms (0%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify7.0ms (0.1%)

localize23.0ms (0.3%)

rewrite54.0ms (0.8%)

series0.0ms (0%)

simplify193.0ms (3%)

localize27.0ms (0.4%)

rewrite64.0ms (1%)

series0.0ms (0%)

simplify64.0ms (1%)

localize30.0ms (0.5%)

rewrite89.0ms (1.4%)

series0.0ms (0%)

simplify91.0ms (1.4%)

prune943.0ms (14.5%)

localize2.0ms (0%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify7.0ms (0.1%)

localize7.0ms (0.1%)

rewrite12.0ms (0.2%)

series0.0ms (0%)

simplify9.0ms (0.1%)

localize15.0ms (0.2%)

rewrite33.0ms (0.5%)

series0.0ms (0%)

simplify76.0ms (1.2%)

localize25.0ms (0.4%)

rewrite87.0ms (1.3%)

series0.0ms (0%)

simplify114.0ms (1.7%)

localize29.0ms (0.4%)

rewrite16.0ms (0.2%)

series0.0ms (0%)

simplify88.0ms (1.4%)

prune738.0ms (11.3%)

simplify307.0ms (4.7%)

simplify2.0ms (0%)

end0.0ms (0%)

sample836.0ms (12.8%)

Profiling