Details

Time bar (total: 15.0s)

analyze2.9s (19.4%)

Algorithm
1×search
Search
TrueOtherFalseIter
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
15.6%84.3%0.1%8
15.6%84.3%0.1%9
15.6%84.3%0.1%10
30.4%69.4%0.1%11
30.4%69.4%0.1%12
30.4%69.4%0.1%13
39.6%60.3%0.1%14
Compiler

Compiled 25 to 23 computations (8% saved)

sample118.0ms (0.8%)

Algorithm
1×intervals
Results
60.0ms71×body1024valid
23.0ms142×body128valid
17.0ms33×body512valid
4.0ms10×body256valid
Compiler

Compiled 49 to 48 computations (2% saved)

simplify242.0ms (1.6%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (111.0ms)

IterNodesCost
0487137
1487137

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112
Error
18.2b
Counts
2 → 1
Compiler

Compiled 48 to 44 computations (8.3% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b
(*.f64 (*.f64 -2 J) (cos.f64 (/.f64 K 2)))
0.2b
(pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)
6.4b
(*.f64 (*.f64 (*.f64 -2 J) (cos.f64 (/.f64 K 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
10.6b
(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))

rewrite58.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
28×add-exp-log_binary64_798
20×pow1_binary64_821
18×add-cbrt-cube_binary64_796
15×*-un-lft-identity_binary64_760
12×prod-exp_binary64_809 add-sqr-sqrt_binary64_782
11×add-cube-cbrt_binary64_795
10×associate-*r*_binary64_700
9×cbrt-unprod_binary64_793 pow-prod-down_binary64_831
8×sqrt-prod_binary64_776
7×unpow-prod-down_binary64_839
4×add-log-exp_binary64_799 pow-exp_binary64_828 sqrt-div_binary64_777
3×div-exp_binary64_811 pow-unpow_binary64_837 times-frac_binary64_766
2×distribute-lft-out_binary64_711 flip3-+_binary64_763 flip-+_binary64_734 associate-*l*_binary64_701 associate-*r/_binary64_702 *-commutative_binary64_691
1×rem-sqrt-square_binary64_773 unpow2_binary64_825 sqrt-pow1_binary64_778 div-inv_binary64_757 pow-to-exp_binary64_829 sqr-pow_binary64_732 pow1/2_binary64_840 pow-pow_binary64_832
Counts
4 → 86
Calls

4 calls:

24.0ms
(*.f64 (*.f64 (*.f64 -2 J) (cos.f64 (/.f64 K 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
10.0ms
(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
8.0ms
(pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)
6.0ms
(*.f64 (*.f64 -2 J) (cos.f64 (/.f64 K 2)))

series624.0ms (4.2%)

Counts
4 → 12
Calls

4 calls:

212.0ms
(*.f64 (*.f64 (*.f64 -2 J) (cos.f64 (/.f64 K 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
208.0ms
(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
162.0ms
(pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)
41.0ms
(*.f64 (*.f64 -2 J) (cos.f64 (/.f64 K 2)))

simplify70.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
98 → 98
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
052572394

prune286.0ms (1.9%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New91798
Fresh000
Picked011
Done000
Total91899
Error
11.0b
Counts
99 → 8
Compiler

Compiled 3164 to 2543 computations (19.6% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.3b
(sqrt.f64 (cbrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
1.4b
(*.f64 (fabs.f64 (cbrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))) (*.f64 (cos.f64 (/.f64 K 2)) (*.f64 J -2)))
16.0b
(cbrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
16.0b
(cbrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))

rewrite60.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
15×*-un-lft-identity_binary64_760
14×pow1_binary64_821
13×add-exp-log_binary64_798 add-cbrt-cube_binary64_796 cbrt-prod_binary64_791
11×add-sqr-sqrt_binary64_782
9×add-cube-cbrt_binary64_795
7×sqrt-prod_binary64_776
6×prod-exp_binary64_809 cbrt-div_binary64_792 cbrt-unprod_binary64_793 pow-prod-down_binary64_831
4×add-log-exp_binary64_799
3×pow1/3_binary64_842 distribute-lft-out_binary64_711 flip3-+_binary64_763 flip-+_binary64_734 associate-*l*_binary64_701
2×rem-sqrt-square_binary64_773 sqrt-pow1_binary64_778 sqrt-div_binary64_777
1×associate-*r*_binary64_700 pow1/2_binary64_840 *-commutative_binary64_691
Counts
4 → 70
Calls

4 calls:

16.0ms
(sqrt.f64 (cbrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
9.0ms
(cbrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
9.0ms
(cbrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
7.0ms
(*.f64 (fabs.f64 (cbrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))) (*.f64 (cos.f64 (/.f64 K 2)) (*.f64 J -2)))

series1.4s (9.2%)

Counts
4 → 12
Calls

4 calls:

422.0ms
(cbrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
406.0ms
(sqrt.f64 (cbrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
345.0ms
(cbrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
209.0ms
(*.f64 (fabs.f64 (cbrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))) (*.f64 (cos.f64 (/.f64 K 2)) (*.f64 J -2)))

simplify114.0ms (0.8%)

Algorithm
1×egg-herbie
Counts
82 → 82
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
049442739
149442739

prune346.0ms (2.3%)

Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New82082
Fresh066
Picked011
Done011
Total82890
Error
11.0b
Counts
90 → 8
Compiler

Compiled 4326 to 3540 computations (18.2% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b
(cbrt.f64 (cos.f64 (/.f64 K 2)))
0.3b
(cbrt.f64 (cos.f64 (/.f64 K 2)))
6.4b
(*.f64 (*.f64 (*.f64 (*.f64 J -2) (*.f64 (cbrt.f64 (cos.f64 (/.f64 K 2))) (cbrt.f64 (cos.f64 (/.f64 K 2))))) (cbrt.f64 (cos.f64 (/.f64 K 2)))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
10.6b
(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))

rewrite63.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
30×pow1_binary64_821
29×add-exp-log_binary64_798
20×add-cbrt-cube_binary64_796
19×prod-exp_binary64_809 cbrt-unprod_binary64_793 pow-prod-down_binary64_831
13×*-un-lft-identity_binary64_760
10×add-sqr-sqrt_binary64_782
9×add-cube-cbrt_binary64_795
8×sqrt-prod_binary64_776
7×associate-*r*_binary64_700
6×cbrt-prod_binary64_791
4×add-log-exp_binary64_799 sqrt-div_binary64_777
2×pow1/3_binary64_842 distribute-lft-out_binary64_711 flip3-+_binary64_763 flip-+_binary64_734 associate-*r/_binary64_702
1×rem-sqrt-square_binary64_773 sqrt-pow1_binary64_778 associate-*l*_binary64_701 pow1/2_binary64_840 *-commutative_binary64_691
Counts
4 → 74
Calls

4 calls:

42.0ms
(*.f64 (*.f64 (*.f64 (*.f64 J -2) (*.f64 (cbrt.f64 (cos.f64 (/.f64 K 2))) (cbrt.f64 (cos.f64 (/.f64 K 2))))) (cbrt.f64 (cos.f64 (/.f64 K 2)))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
9.0ms
(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
1.0ms
(cbrt.f64 (cos.f64 (/.f64 K 2)))
1.0ms
(cbrt.f64 (cos.f64 (/.f64 K 2)))

series746.0ms (5%)

Counts
4 → 12
Calls

4 calls:

282.0ms
(*.f64 (*.f64 (*.f64 (*.f64 J -2) (*.f64 (cbrt.f64 (cos.f64 (/.f64 K 2))) (cbrt.f64 (cos.f64 (/.f64 K 2))))) (cbrt.f64 (cos.f64 (/.f64 K 2)))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
246.0ms
(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
126.0ms
(cbrt.f64 (cos.f64 (/.f64 K 2)))
92.0ms
(cbrt.f64 (cos.f64 (/.f64 K 2)))

simplify143.0ms (1%)

Algorithm
1×egg-herbie
Counts
86 → 86
Iterations

Useful iterations: 0 (95.0ms)

IterNodesCost
049592191
149592191

prune312.0ms (2.1%)

Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New83386
Fresh055
Picked101
Done022
Total841094
Error
11.0b
Counts
94 → 10
Compiler

Compiled 3488 to 2861 computations (18% saved)

localize33.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b
(cbrt.f64 (cos.f64 (/.f64 K 2)))
0.3b
(cbrt.f64 (cos.f64 (/.f64 K 2)))
6.4b
(*.f64 (*.f64 (*.f64 (*.f64 J -2) (*.f64 (cbrt.f64 (cos.f64 (/.f64 K 2))) (cbrt.f64 (cos.f64 (/.f64 K 2))))) (log.f64 (exp.f64 (cbrt.f64 (cos.f64 (/.f64 K 2)))))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
10.6b
(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))

rewrite74.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
30×pow1_binary64_821
29×add-exp-log_binary64_798
25×add-cbrt-cube_binary64_796
19×prod-exp_binary64_809 cbrt-unprod_binary64_793 pow-prod-down_binary64_831
13×*-un-lft-identity_binary64_760
10×add-sqr-sqrt_binary64_782
9×add-cube-cbrt_binary64_795
8×sqrt-prod_binary64_776
7×associate-*r*_binary64_700
6×cbrt-prod_binary64_791
4×add-log-exp_binary64_799 sqrt-div_binary64_777
2×pow1/3_binary64_842 distribute-lft-out_binary64_711 flip3-+_binary64_763 flip-+_binary64_734 associate-*r/_binary64_702
1×rem-sqrt-square_binary64_773 sqrt-pow1_binary64_778 associate-*l*_binary64_701 pow1/2_binary64_840 *-commutative_binary64_691
Counts
4 → 74
Calls

4 calls:

34.0ms
(*.f64 (*.f64 (*.f64 (*.f64 J -2) (*.f64 (cbrt.f64 (cos.f64 (/.f64 K 2))) (cbrt.f64 (cos.f64 (/.f64 K 2))))) (log.f64 (exp.f64 (cbrt.f64 (cos.f64 (/.f64 K 2)))))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
13.0ms
(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
2.0ms
(cbrt.f64 (cos.f64 (/.f64 K 2)))
2.0ms
(cbrt.f64 (cos.f64 (/.f64 K 2)))

series1.1s (7.4%)

Counts
4 → 12
Calls

4 calls:

697.0ms
(*.f64 (*.f64 (*.f64 (*.f64 J -2) (*.f64 (cbrt.f64 (cos.f64 (/.f64 K 2))) (cbrt.f64 (cos.f64 (/.f64 K 2))))) (log.f64 (exp.f64 (cbrt.f64 (cos.f64 (/.f64 K 2)))))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
222.0ms
(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
101.0ms
(cbrt.f64 (cos.f64 (/.f64 K 2)))
94.0ms
(cbrt.f64 (cos.f64 (/.f64 K 2)))

simplify115.0ms (0.8%)

Algorithm
1×egg-herbie
Counts
86 → 86
Iterations

Useful iterations: 0 (68.0ms)

IterNodesCost
050182235

prune313.0ms (2.1%)

Pruning

12 alts after pruning (9 fresh and 3 done)

PrunedKeptTotal
New83386
Fresh167
Picked011
Done022
Total841296
Error
11.0b
Counts
96 → 12
Compiler

Compiled 3332 to 2732 computations (18% saved)

regimes676.0ms (4.5%)

Accuracy

Total 0.8b remaining (5.9%)

Threshold costs 0.8b (5.9%)

Compiler

Compiled 5570 to 4980 computations (10.6% saved)

bsearch3.0ms (0%)

Compiler

Compiled 24 to 22 computations (8.3% saved)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
046152
146152

end0.0ms (0%)

sample5.1s (34.2%)

Algorithm
1×intervals
Results
1.7s2015×body1024valid
747.0ms4449×body128valid
599.0ms1003×body512valid
206.0ms531×body256valid
3.0ms2×body2048valid
1.0ms1×body512invalid
1.0ms3×body128invalid
Compiler

Compiled 1040 to 923 computations (11.3% saved)

Profiling

Loading profile data...